etc/isabelle.css

--- a/etc/isabelle.css	Sat Jun 25 19:19:13 2011 +0200
+++ b/etc/isabelle.css	Sat Jun 25 19:38:35 2011 +0200
@@ -21,6 +21,8 @@
 
 .binding        { color: #336655; }
 .entity_class   { color: red; }
+.entity_type    { }
+.entity_constant { }
 .tfree          { color: #A020F0; }
 .tvar           { color: #A020F0; }
 .free           { color: blue; }