diff options
| -rw-r--r-- | web/main.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/web/main.css b/web/main.css index 8f2d52a13..8ef8f7002 100644 --- a/web/main.css +++ b/web/main.css @@ -4,7 +4,7 @@ body { background-color: white; color: black; font-family: Verdana, sans-serif; - font-size: medium; + font-size: 0.9em; line-height: 1.3em; color: #333; } @@ -14,6 +14,10 @@ pre { color: #1111111; padding: 0.5em; } +code { + font-family: monospace; + font-size: 1.25em; +} h1, h2, h3, h4, h5 { font-family: verdana; font-weight: bold; color: #7a5ada; } |