From df7028c75c17230043c9839f173e164f9d6b0c0e Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 6 Mar 2022 18:13:08 +0100
Subject: server: small html improvements

bootstrap is horrible and should be replaced
---
 server/HtmlOrphans.hs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'server')

diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs
index ee30773..64de2f6 100644
--- a/server/HtmlOrphans.hs
+++ b/server/HtmlOrphans.hs
@@ -55,9 +55,11 @@ instance ToHtml JobStatus where
         autoReloadScript
       Linted res _rev (pending, _) -> do
         h1_ "Linter Result"
-        if pending
-          then button_ [class_ "btn btn-primary btn-disabled", disabled_ "true"] "pending …"
-          else button_ [onclick_ "relint()", class_ "btn btn-primary", id_ "relint_button"] "relint"
+        p_ $ do
+          "your map will be re-linted periodically. "
+          if pending
+            then button_ [class_ "btn btn-primary btn-disabled", disabled_ "true"] "pending …"
+            else button_ [onclick_ "relint()", class_ "btn btn-primary", id_ "relint_button"] "relint now"
         toHtml res
         script_
           "function relint() {\n\
@@ -147,6 +149,7 @@ instance ToHtml (DirResult a) where
     unless (null dirresultDeps) $ ul_ $
       forM_ dirresultDeps $ \missing -> do
         li_ $ do
+          " "
           -- TODO: the whole Maybe Bool thing is annoying; I think that was a
           -- remnant of talking to python stuff and can probably be removed?
           if depFatal missing == Just True
-- 
cgit v1.2.3