From a792b5dbdf602f6308776675765c529d40f22cb5 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 25 Jul 2013 15:06:29 +0100
Subject: [PATCH] Add background-colour for <pre> Tweak heading colours.

---
 tools/htdocs/mkws-doc.css |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/tools/htdocs/mkws-doc.css b/tools/htdocs/mkws-doc.css
index 5d28acb..4b6bc01 100644
--- a/tools/htdocs/mkws-doc.css
+++ b/tools/htdocs/mkws-doc.css
@@ -3,13 +3,13 @@ body {
 }
 
 h1, h2, h3 {
-    color: #666;
+    color: #68a;
     font-weight: bold;
     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
 }
 
 h1 {
-    background: #eee;
+    background: #e0e8f8;
     padding: 0.2em;
 }
 
@@ -21,6 +21,10 @@ p, ul {
     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.
-- 
1.7.10.4