Minor CSS tweak.

diff --git a/src/css/default.css b/src/css/default.css
index 349654b23102a86771588142aaadb82e5531a8ed..3b8edd73db5a55ad002514cfcfd9c2bc7ad7c1f6 100644 (file)
--- a/src/css/default.css
+++ b/src/css/default.css
@@ -29,8 +29,8 @@ pre.code {
     padding: 1em 1em 1em 1em;
     margin: 0 0 0 0;
 
-    border: 1px solid #006699;
-    border-left: 8px solid #006699;
+    border: 1px solid #557799;
+    border-left: 8px solid #557799;
 
     background-color: #f7f3e0;
     display: block;
@@ -40,7 +40,7 @@ pre.code {
 
 pre.code .ln { color: grey; } /* line numbers */
 pre.code .comment, code .comment { color: #0077ff; }
-pre.code .keyword, code .keyword { color: #006699; font-weight: bold; }
+pre.code .keyword, code .keyword { color: #aa3300; font-weight: bold; }
 pre.code .literal.string, code .literal.string { color: #105000 }
 pre.code .name.builtin, code .name.builtin { color: #352B84 }
 pre.code .deleted, code .deleted { background-color: #DEB0A1}