--- 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; }