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; }