Add background-colour for <pre>

Tweak heading colours.

diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css
index 5d28acb..4b6bc01 100644 (file)
--- a/tools/htdocs/mkws-doc.css
+++ b/tools/htdocs/mkws-doc.css
@@ -3,13 +3,13 @@ body {
 }
 
 h1, h2, h3 {
 }
 
 h1, h2, h3 {

-    color: #666;
+    color: #68a;

     font-weight: bold;
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
 h1 {
     font-weight: bold;
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
 h1 {

-    background: #eee;
+    background: #e0e8f8;

     padding: 0.2em;
 }
 
     padding: 0.2em;
 }
 

@@ -21,6 +21,10 @@ p, ul {
     max-width: 40em;
 }
 
     max-width: 40em;
 }
 

+pre {
+    background: #eee;
+}
+

 /*
  * 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.
 /*
  * 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.