# HG changeset patch
# User wenzelm
# Date 1274551346 -7200
# Node ID 6f2731bdba1153c5fe0a25d47782292fe765b8d8
# Parent  d1840e304ed01213b39359cad0c2a9e97130bd5b
tuned;

diff -r d1840e304ed0 -r 6f2731bdba11 src/Tools/jEdit/dist-template/etc/isabelle-jedit.css
--- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Sat May 22 20:00:28 2010 +0200
+++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Sat May 22 20:02:26 2010 +0200
@@ -1,6 +1,6 @@
 /* additional style file for Isabelle/jEdit output */
 
-pre.message { margin-top: 0.3ex; background-color: #F0F0F0; }
+.message { margin-top: 0.3ex; background-color: #F0F0F0; }
 
 .writeln { }
 .priority { }