From 29e2e9579ddc656d62afd7052dcba398a5f0a107 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 6 Mar 2022 19:17:22 +0100
Subject: server: fix an annoying space

---
 server/HtmlOrphans.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'server')

diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs
index 64de2f6..aec6fe2 100644
--- a/server/HtmlOrphans.hs
+++ b/server/HtmlOrphans.hs
@@ -118,7 +118,7 @@ badge level = span_ [class_ badgetype]
 
 -- | Lint Levels directly render into badges
 instance ToHtml Level where
-  toHtml level = badge level (toHtml (show level :: Text))
+  toHtml level = do badge level (show level); " "
 
 -- | Hints are just text with a level
 instance ToHtml Hint where
@@ -149,7 +149,6 @@ 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