From 2ef7adf3da89006e9e9c906cf70964f8205f3c4b Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Mon, 30 Sep 2013 17:01:29 +0100
Subject: [PATCH] H2 margin-bottom tweak.

---
 tools/htdocs/mkws-doc.css |    5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css
index f769329..e042c4b 100644
--- a/tools/htdocs/mkws-doc.css
+++ b/tools/htdocs/mkws-doc.css
@@ -8,6 +8,11 @@ h1, h2, h3 {
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
+h2 {
+    /* Default spacing is way off in both Chrome and Firefox */
+    margin-bottom: -0.5em;
+}
+
 h1 {
     background: #e0e8f8;
     padding: 0.2em;
-- 
1.7.10.4