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