summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorstuebinm2022-03-20 20:07:44 +0100
committerstuebinm2022-03-20 20:07:44 +0100
commit744e19db1eeed2dfe523bc4db81968852e84f397 (patch)
tree0bcb986cbb36352414680f8bb89508a77d1c4ec3 /server
parentf72855ea8ade8f94474618c5dacda8dd30171740 (diff)
server: better html output
Diffstat (limited to 'server')
-rw-r--r--server/HtmlOrphans.hs12
1 files changed, 7 insertions, 5 deletions
diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs
index 412961b..6438a5e 100644
--- a/server/HtmlOrphans.hs
+++ b/server/HtmlOrphans.hs
@@ -145,7 +145,7 @@ instance ToHtml (DirResult a) where
p_ $ do badge maxlevel "Linted:"; " "; headerText maxlevel
- h2_ "Exits"
+ h3_ "Exits"
unless (null dirresultDeps) $ ul_ $
forM_ dirresultDeps $ \missing -> do
li_ $ do
@@ -187,10 +187,12 @@ instance ToHtml (DirResult a) where
h4_ (toHtml name)
ul_ $ forM_ mapresultGeneral $ \lint ->
li_ (toHtml lint)
- h5_ "Layers"
- ul_ (listMapWithKey mapresultLayer)
- h5_ "Tilesets"
- ul_ (listMapWithKey mapresultTileset)
+ unless (null mapresultLayer) $ do
+ h5_ "Layers"
+ ul_ (listMapWithKey mapresultLayer)
+ unless (null mapresultTileset) $ do
+ h5_ "Tilesets"
+ ul_ (listMapWithKey mapresultTileset)
where
maxlevel = maximumLintLevel res