--- a/styles/theme3.css	Fri Jul 24 07:49:52 2009 -0700
+++ b/styles/theme3.css	Thu Oct 29 15:27:35 2009 -0700
@@ -88,6 +88,13 @@
     margin-bottom: 3px;
 }
 
+#content .comment_pre
+{  
+    font-style: normal;
+    font-family: courier;
+    white-space: pre;
+}
+
 #content
 {
     position: absolute;