lib/html/isabelle.css

--- a/lib/html/isabelle.css	Sun May 30 13:47:12 2010 +0200
+++ b/lib/html/isabelle.css	Sun May 30 14:14:30 2010 +0200
@@ -38,6 +38,7 @@
 .loc, loc  { color: #D2691E; }
 
 .keyword, keyword      { font-weight: bold; }
+.operator, operator    { }
 .command, command      { font-weight: bold; }
 .ident, ident          { }
 .string, string        { color: #008B00; }