diff -r 60c134fdd290 -r ee19c92ae8b4 etc/isabelle.css
--- a/etc/isabelle.css	Wed Dec 10 10:44:56 2014 +0100
+++ b/etc/isabelle.css	Wed Dec 10 13:45:44 2014 +0100
@@ -44,9 +44,6 @@
 .verbatim       { color: #6600CC; }
 .cartouche      { color: #CC6600; }
 .comment        { color: #CC0000; }
-.control        { background-color: #FF6A6A; }
+.improper       { color: #FF5050; }
 .bad            { background-color: #FF6A6A; }
 
-.keyword1       { font-weight: bold; }
-.keyword2       { font-weight: bold; }
-