diff -r fdcab4072085 -r 1b5eb968d2c4 styles/theme1.css --- 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;