css: make <pre> light grey instead of green.

diff --git a/htdocs/default.css b/htdocs/default.css
index 1bd558e..77a3514 100644 (file)
--- a/htdocs/default.css
+++ b/htdocs/default.css
@@ -120,7 +120,7 @@ pre {
     margin-right: 3em;
     padding: 0.3em;
     border: 1px solid #bbb;
-    background-color: #efffef;
+    background-color: #f7f7f7;
 }
 
 dl dt {