summaryrefslogtreecommitdiff
path: root/app
diff options
context:
space:
mode:
authorcyfraeviolae <cyfraeviolae>2022-02-28 20:55:55 -0500
committercyfraeviolae <cyfraeviolae>2022-02-28 20:55:55 -0500
commita7b12443fbc768e128f3838d19ccc53ebde2756d (patch)
tree36a5db8da5de18f77a738dead43ace642bc80aac /app
parentba0444605b5cdeaa6e0a6fc2707a9e69e64ce7f2 (diff)
styles
Diffstat (limited to 'app')
-rw-r--r--app/Web.hs34
1 files changed, 17 insertions, 17 deletions
diff --git a/app/Web.hs b/app/Web.hs
index 8faaf4a..8dad484 100644
--- a/app/Web.hs
+++ b/app/Web.hs
@@ -119,14 +119,11 @@ styles (HomeResult f False) =
instance ToHtml HomeView where
toHtml view =
pageTemplate
- [ a_
- [href_ "https://cyfraeviolae.org/git/sumcheck", class_ "nonbreaking"]
- "source code"
- ]
+ []
homeBody
where
(formclass, formtxt, inpval) = styles view
- homeBody = div_ [class_ "narrow"] $ do
+ homeBody = div_ $ do
p_ $ do
span_
"The diagonalizing sorcerer Roseacrucis has \
@@ -137,13 +134,15 @@ instance ToHtml HomeView where
[href_ "https://en.wikipedia.org/wiki/Presburger_arithmetic"]
"first-order theory of the natural numbers with addition"
span_ "."
+ br_ []
form_ [method_ "get", action_ "/sumcheck", class_ (T.pack formclass)] $ do
p_ $ do
- label_ [class_ "focus"] "theorem:"
+ label_ $ strong_ "theorem:"
input_ ([type_ "text", name_ "theorem"] ++ inpval)
p_ $ do
button_ [type_ "submit"] "Decide"
span_ [class_ "validity"] (toHtml formtxt)
+ br_ []
p_ $ do
span_
"The Sphinx asks its riddles in rapidfire succession, but accompanied by your faithful "
@@ -217,17 +216,18 @@ pageTemplate crumbs body = doctypehtml_ $ do
meta_ [name_ "viewport", content_ "width=device-width, initial-scale=1.0"]
link_
[rel_ "shortcut icon", type_ "image/x-icon", href_ "/sumcheck/static/favicon.ico"]
- link_ [rel_ "stylesheet", type_ "text/css", href_ "/sumcheck/static/style.css"]
+ link_ [rel_ "stylesheet", type_ "text/css", href_ "/static/styles.css"]
+ link_ [rel_ "stylesheet", type_ "text/css", href_ "/sumcheck/static/styles.css"]
body_ $
div_ [class_ "container"] $ do
- div_ [class_ "row navbar"] $
- sequence_ $
- L.intersperse
- (span_ [class_ "sep"] (toHtmlRaw (T.pack " | ")))
- (crumb : crumbs)
- body
+ div_ $ do
+ div_ [class_ "home"] $ do
+ a_ [href_ (homeURI Nothing), class_ "home-title"] (strong_ "Sumcheck")
+ span_ " at "
+ a_ [href_ "/"] "cyfraeviolae.org"
+ div_ [class_ "crumbs"] $ sequence_ $ L.intersperse
+ (span_ [class_ "sep"] (toHtmlRaw (T.pack " &middot; ")))
+ (srcCrumb : crumbs)
+ body
where
- crumb = span_ [class_ "ico"] $ do
- a_ [href_ (homeURI Nothing), class_ "title"] (strong_ "Sumcheck")
- span_ "@"
- a_ [href_ "https://cyfraeviolae.org"] "cyfraeviolae.org"
+ srcCrumb = a_ [href_ "/git/sumcheck"] "source code"