From 736b89317b4365dfdcb92819d096bd50fd3db647 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Wed, 18 Dec 2013 17:42:32 +0000 Subject: [PATCH] Finalise index.html --- tools/htdocs/index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html index b2e2d6a..2a728d3 100644 --- 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; -- 1.7.10.4