# HG changeset patch
# User wenzelm
# Date 1418151645 -3600
# Node ID 8ea2748241da740b153a47f1d74a9a14543ceeca
# Parent  74fde39274d5811e2a5bc9183b4dbd96746bfca5
more jEdit colors;

diff -r 74fde39274d5 -r 8ea2748241da etc/isabelle.css
--- a/etc/isabelle.css	Tue Dec 09 19:52:26 2014 +0100
+++ b/etc/isabelle.css	Tue Dec 09 20:00:45 2014 +0100
@@ -35,9 +35,11 @@
 
 .bold           { font-weight: bold; }
 
-.keyword        { font-weight: bold; }
+.keyword1       { color: #006699; font-weight: bold; }
+.command        { color: #006699; font-weight: bold; }
+.keyword2       { color: #009966; font-weight: bold; }
+.keyword        { color: #009966; font-weight: bold; }
 .operator       { }
-.command        { font-weight: bold; }
 .string         { color: #FF00CC; }
 .alt_string     { color: #CC00CC; }
 .verbatim       { color: #6600CC; }