styles

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 " · ")))
+                (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"