etc/isabelle.css

--- a/etc/isabelle.css	Sat Jun 25 17:17:49 2011 +0200
+++ b/etc/isabelle.css	Sat Jun 25 18:15:36 2011 +0200
@@ -20,7 +20,7 @@
 .hidden, hidden { font-size: 0.1pt; visibility: hidden; }
 
 .binding, binding             { color: #9966FF; }
-.tclass, tclass               { color: red; }
+.entity_class                 { color: red; }
 .tfree, tfree                 { color: #A020F0; }
 .tvar, tvar                   { color: #A020F0; }
 .free, free                   { color: blue; }