etc/isabelle.css

--- a/etc/isabelle.css	Sat Mar 10 23:00:32 2012 +0100
+++ b/etc/isabelle.css	Sat Mar 10 23:28:42 2012 +0100
@@ -20,9 +20,6 @@
 .hidden         { font-size: 1px; visibility: hidden; }
 
 .binding        { color: #336655; }
-.entity_class   { color: red; }
-.entity_type    { }
-.entity_constant { }
 .tfree          { color: #A020F0; }
 .tvar           { color: #A020F0; }
 .free           { color: blue; }