Use a prettier monospace font.

Author: tabatkins

default.css

@@ -52,6 +52,11 @@ pre {
 	margin-bottom: 1em;
 }
 
+pre, code {
+	font-family: "DejaVu Sans Mono", "Consolas", "Andale Mono", monospace; 
+	font-size: .9em;
+}
+
 img {
 	border-style: none;
 	color: white;