--- a/styles/theme1.css	Fri Jul 24 07:49:52 2009 -0700
+++ b/styles/theme1.css	Thu Oct 29 15:27:35 2009 -0700
@@ -37,6 +37,13 @@
     font-family: sans;
 }
 
+.comment_pre
+{  
+    font-style: normal;
+    font-family: courier;
+    white-space: pre;
+}
+
 .counts
 {
     margin-left: 10px;