Generate table of contents.

[mkws-moved-to-github.git] / tools / htdocs / mkws-doc.css

diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css
index 2b89f78..dfde943 100644 (file)
--- a/tools/htdocs/mkws-doc.css
+++ b/tools/htdocs/mkws-doc.css
@@ -8,9 +8,15 @@ h1, h2, h3 {
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
+h2, h3 {
+    /* Default spacing is way off in both Chrome and Firefox */
+    margin-bottom: -0.5em;
+}
+
 h1 {
     background: #e0e8f8;
     padding: 0.2em;
+    font-weight: normal;
 }
 
 h2.author {
@@ -23,7 +29,7 @@ h3.date {
     color: black
 }
 
-p, ul, pre {
+body > p, ul, pre {
     margin-left: 10%;
 }
 
@@ -38,8 +44,8 @@ pre {
 /*
  * Works with the HTML emitted by pandoc. It would better if pandoc
  * were to emit class names that we can use. But it doesn't.
- */
-body p:last-of-type {
+ */  
+body > p:last-of-type {
     font-size: small;
     max-width: none;
     text-align: right;