Finalise index.html

diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html
index b2e2d6a..2a728d3 100644 (file)
--- a/tools/htdocs/index.html
+++ b/tools/htdocs/index.html
@@ -7,6 +7,7 @@
       font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif;
       }
       h1, h3 { font-weight: normal; color: #606060 }
+      h2 { margin-top: 0.5em }
       .pane { padding: 0em 1em; margin: 0.75em;
               border: 0.5em solid #eee;
               border-radius: 1em;