diff --git a/share/static/style.css b/share/static/style.css
index ced1b98..49d6abd 100644
--- a/share/static/style.css
+++ b/share/static/style.css
@@ -2,7 +2,17 @@ body {
     background: black;
     color: #bbbbbb;
 }
-
 pre {
-    font-family: DejaVu Sans Mono, Menlo, monospace;
+/*    font-family: source_code_proregular; */
+
+/*
+font-family: Courier New,Courier,Lucida Sans Typewriter,Lucida Typewriter,monospace;
+font-size: 70%;
+*/
+
+/*font-family: Lucida Console,Lucida Sans Typewriter,monaco,Bitstream Vera Sans Mono,monospace; */
+/*Droid Sans Mono*/
+font-family: "DejaVu Sans Mono", Menlo, "Lucida Sans Typewriter", "Lucida Console", monaco, "Bitstream Vera Sans Mono", monospace;
+/*font-family: bitstream_vera_sans_monoroman;*/
+font-size: 75%;
 }