aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/style.css b/doc/style.css
index e1ce489..f876c6b 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -662,11 +662,12 @@ th {
pre {
margin: 1em 1em 1em 4em;
padding: 0;
+ color: #444;
+ font-family: fixed,monospace;
}
code {
- color: #373;
+ color: #444;
font-family: fixed,monospace;
- font-weight: 500;
}
#menu li, #searchbox form, #iconbar li, #body-main .success p a {
display: inline;