CSS tweak.

diff --git a/src/css/default.css b/src/css/default.css
index f7c56083f15d7b1861c7c556ea9a3667c0ca3a5d..0b200f3cbde5cf7f0e20aa449bbab3bc567fb0d1 100644 (file)
--- a/src/css/default.css
+++ b/src/css/default.css
@@ -40,7 +40,7 @@ pre.code {
     border: 1px solid #557799;
     border-left: 8px solid #557799;
 
-    background-color: #fafafa;
+    background-color: #f3f3f3;
     display: block;
     white-space: pre;
     overflow: auto;