add a little more saturation to the background of <pre> so it doesn't disappear on...

verified as acceptable on my calibrated home monitor.

R=gri
DELTA=1  (0 added, 0 deleted, 1 changed)
OCL=35340
CL=35342

diff --git a/doc/style.css b/doc/style.css
index 3ac55da7a57154bbfcbec758495c0faf4104326d..fcbc0b3bd5b446e672506dd7fcce222eaa35ad44 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -43,7 +43,7 @@ h2 {
 
 pre{
   font-size: 9pt;
-  background-color: #fafaff;
+  background-color: #f8f8ff;
   margin: 1em 0 0 0;
   padding: .99em;
   line-height: 125%;