1.1 --- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Thu Jun 03 22:31:59 2010 +0200
     1.2 +++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Thu Jun 03 22:45:49 2010 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  .message { margin-top: 0.3ex; background-color: #F0F0F0; }
     1.5  
     1.6  .writeln { }
     1.7 -.tracing { background-color: #EAF8FF; }
     1.8 +.tracing { background-color: #F0F8FF; }
     1.9  .warning { background-color: #EEE8AA; }
    1.10  .error { background-color: #FFC1C1; }
    1.11  .debug { background-color: #FFE4E1; }