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

verified as acceptable on my calibrated home monitor.

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

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%;