From c0e42497ead6ef533cae455fa5c0a2098eaef5c1 Mon Sep 17 00:00:00 2001 From: inga-lovinde <52715130+inga-lovinde@users.noreply.github.com> Date: Sat, 4 Sep 2010 16:24:40 +0000 Subject: [PATCH]
 is monospace in coffeehaus

---
 static/css/coffeehaus.css | 1 -
 static/css/global.css     | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/css/coffeehaus.css b/static/css/coffeehaus.css
index e09f0fe..df72a76 100644
--- a/static/css/coffeehaus.css
+++ b/static/css/coffeehaus.css
@@ -170,7 +170,6 @@ blockquote br {
 	font-weight: bold;
 }
 pre {
-	font-family: Verdana, Arial, Helvetica, sans-serif;
 	font-size: 10pt;
 	display: block;
 	white-space: pre;
diff --git a/static/css/global.css b/static/css/global.css
index 8d724ba..bdfabe1 100644
--- a/static/css/global.css
+++ b/static/css/global.css
@@ -48,6 +48,7 @@ pre
   overflow-y: hidden;
   margin: 10px;
   width: 99%;
+  font-family:Consolas, monospace;
 }
 
 [type=button].iconize, [type=submit].iconize {