diff options
| -rw-r--r-- | doc/style.css | 5 |
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; |