From: Ulya Trofimovich Date: Tue, 20 Oct 2015 20:17:40 +0000 (+0100) Subject: Minor CSS tweak. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7c0d8f7f1d84b22f6445cc93584bcf1275b05953;p=re2c Minor CSS tweak. --- diff --git a/src/css/default.css b/src/css/default.css index 349654b2..3b8edd73 100644 --- 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}