# HG changeset patch
# User wenzelm
# Date 1274467560 -7200
# Node ID 83ea8b551280c9939762c5b4f7ad9c1334bdbe11
# Parent  d93b849cbecd3196bf3161b9067a0ce04d1c501c
some message styling;

diff -r d93b849cbecd -r 83ea8b551280 src/Tools/jEdit/dist-template/etc/isabelle-jedit.css
--- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Fri May 21 20:10:45 2010 +0200
+++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Fri May 21 20:46:00 2010 +0200
@@ -2,3 +2,12 @@
 
 pre.message { margin-top: 0.3ex; background-color: #F0F0F0; }
 
+.writeln { }
+.priority { }
+.tracing { background-color: #EAF8FF; }
+.warning { background-color: #EEE8AA; }
+.error { background-color: #FFC1C1; }
+.debug { background-color: #FFE4E1; }
+
+.hilite { background-color: #FFFACD; }
+