Argh, make the monospace declaration important, so it overrides the unnecessary declaration in the ED stylesheet.

tabatkins · tabatkins · commit 894db82a0fff · 2012-08-31T13:48:51.000-07:00
diff --git a/default.css b/default.css
@@ -53,7 +53,7 @@ pre {
 }
 
 pre, code {
-	font-family: "DejaVu Sans Mono", "Consolas", "Andale Mono", monospace; 
+	font-family: "DejaVu Sans Mono", "Consolas", "Andale Mono", monospace !important; 
 	font-size: .9em;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ pre {`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`pre, code {`
`56`		`- font-family: "DejaVu Sans Mono", "Consolas", "Andale Mono", monospace;`
	`56`	`+ font-family: "DejaVu Sans Mono", "Consolas", "Andale Mono", monospace !important;`
`57`	`57`	`font-size: .9em;`
`58`	`58`	`}`
`59`	`59`