Define font-family for pre to aid OS's in selecting good monospace fonts

8 years ago · 6256fb7784
parent 89b6f82e77
commit 6256fb7784
1 changed files with 4 additions and 0 deletions
--- a/share/static/style.css
+++ b/share/static/style.css
@ -2,3 +2,7 @@ body {
    background: black;
    color: #bbbbbb;
 }
+
+pre {
+    font-family: DejaVu Sans Mono, Menlo, monospace;
+}