# HG changeset patch
# User wenzelm
# Date 1275597949 -7200
# Node ID 6dce93f3157d7d33ca445b12c01767cc9cb3354c
# Parent  2bde06a2a706180020d4f4c9a7ad1413bb08b867
tracing in aliceblue;

diff -r 2bde06a2a706 -r 6dce93f3157d src/Tools/jEdit/dist-template/etc/isabelle-jedit.css
--- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Thu Jun 03 22:31:59 2010 +0200
+++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Thu Jun 03 22:45:49 2010 +0200
@@ -3,7 +3,7 @@
 .message { margin-top: 0.3ex; background-color: #F0F0F0; }
 
 .writeln { }
-.tracing { background-color: #EAF8FF; }
+.tracing { background-color: #F0F8FF; }
 .warning { background-color: #EEE8AA; }
 .error { background-color: #FFC1C1; }
 .debug { background-color: #FFE4E1; }