H3 margin-bottom tweak.

diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css
index e042c4b..dfde943 100644 (file)
--- a/tools/htdocs/mkws-doc.css
+++ b/tools/htdocs/mkws-doc.css
@@ -8,7 +8,7 @@ h1, h2, h3 {
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
-h2 {
+h2, h3 {
     /* Default spacing is way off in both Chrome and Firefox */
     margin-bottom: -0.5em;
 }