diff -r fe539d517750 -r b55a273ede18 etc/isabelle.css
--- a/etc/isabelle.css	Sun Jun 19 14:36:06 2011 +0200
+++ b/etc/isabelle.css	Sun Jun 19 15:22:58 2011 +0200
@@ -33,7 +33,6 @@
 .inner_comment, inner_comment { color: #8B0000; }
 
 .bold, bold  { font-weight: bold; }
-.loc, loc  { color: #D2691E; }
 
 .keyword, keyword      { font-weight: bold; }
 .operator, operator    { }