src/Tools/jEdit/etc/isabelle-jedit.css

--- a/src/Tools/jEdit/etc/isabelle-jedit.css	Wed Sep 19 14:47:15 2012 +0200
+++ b/src/Tools/jEdit/etc/isabelle-jedit.css	Wed Sep 19 17:07:25 2012 +0200
@@ -7,8 +7,6 @@
 .warning_message { background-color: #EEE8AA; }
 .error_message { background-color: #FFC1C1; }
 
-.report { display: none; }
-
 .intensify { background-color: #FFCC66; }
 
 .keyword { font-weight: bold; color: #009966; }