etc/isabelle.css

--- a/etc/isabelle.css	Sun Sep 04 19:12:06 2011 +0200
+++ b/etc/isabelle.css	Sun Sep 04 19:36:19 2011 +0200
@@ -40,7 +40,6 @@
 .keyword        { font-weight: bold; }
 .operator       { }
 .command        { font-weight: bold; }
-.ident          { }
 .string         { color: #008B00; }
 .altstring      { color: #8B8B00; }
 .verbatim       { color: #00008B; }