--- a/lib/html/isabelle.css Sun Aug 28 19:42:19 2005 +0200
+++ b/lib/html/isabelle.css Sun Aug 28 19:46:49 2005 +0200
@@ -9,6 +9,7 @@
.bound { color: green; }
.var { color: blue; }
.xstr { color: brown; }
+.loc { color: brown; }
.name { font-style: italic; }
.keyword { font-weight: bold; }