From a50ad3901377b30c5188ff3ebd519f8b0457c5eb Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 10 Feb 2022 18:12:06 +0100
Subject: server: present lint results in pretty html

(this is mostly a rewrite / translation of the django templates built
into rc3's hub)
---
 server/Server.hs | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'server/Server.hs')

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"
 
-- 
cgit v1.2.3