--- a/styles/theme2.css	Fri Jul 24 07:49:52 2009 -0700
+++ b/styles/theme2.css	Thu Oct 29 15:27:35 2009 -0700
@@ -131,6 +131,13 @@
     border-right: 1px solid #666;
 }
 
+.comment_pre
+{  
+    font-style: normal;
+    font-family: courier;
+    white-space: pre;
+}
+
 .comment:hover
 {
     border-top: 1px solid #aaa;