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

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/style.css b/doc/style.css
index 3ac55da7a..fcbc0b3bd 100644
--- 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%;