From 38dae338f638b2df8b166ab8d7b066460d6ec660 Mon Sep 17 00:00:00 2001 From: Rob Pike Date: Mon, 5 Oct 2009 15:17:30 -0700 Subject: [PATCH] add a little more saturation to the background of
 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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