Cleaner styles for heading.

diff --git a/doc/mkws-doc.css b/doc/mkws-doc.css
index fc4d576..7c055f9 100644 (file)
--- a/doc/mkws-doc.css
+++ b/doc/mkws-doc.css
@@ -1,9 +1,11 @@
 body {
   font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif;
 }
-h1, h2, h3 { font-weight: normal; color: #606060 }
+h1, h2, h3 { color: #606060 }
 h2 { margin-top: 0.5em }
+h1.title, h2.author, h3.date { font-weight: normal }
 div#header h2 { font-size: 120% }
+div#header h3 { font-size: 100% }
 .pane {
   padding: 0em 1em; margin: 0.75em;
   border: 0.5em solid #eee;