server: present lint results in pretty html

(this is mostly a rewrite / translation of the django templates built
into rc3's hub)

1 files changed, 6 insertions, 5 deletions

diff --git a/server/Server.hs b/server/Server.hs
index 536350f..ac79237 100644
--- a/server/Server.hs
+++ b/server/Server.hs
@@ -75,16 +75,17 @@ instance ToHtml JobStatus where
   toHtml status = html_ $ do
     head_ $ do
       title_ "Job Status"
-      link_ [rel_ "stylesheet", type_ "text/css", href_ "/styles.css"]
-    body_ $ div_ [class_ "main-content"] $ case status of
+      link_ [rel_ "stylesheet", type_ "text/css", href_ "/bootstrap.min.css" ]
+      link_ [rel_ "stylesheet", type_ "text/css", href_ "/style.css" ]
+    body_ $ main_ [class_ "main-content"] $ case status of
       Pending -> do
-        h2_ "Pending …"
+        h1_ "Pending …"
         p_ "(please note that this site won't auto-reload, you'll have to refresh it yourself)"
       Linted res -> do
-        p_ "Linted"
+        h1_ "Linter Result"
         toHtml res
       Failed err -> do
-        h2_ "System Error"
+        h1_ "System Error"
         p_ $ "error: " <> toHtml err
         p_ "you should probably ping an admin about this or sth"