--- a/lib/html/isabelle.css Fri Jan 02 19:38:14 2009 +0100
+++ b/lib/html/isabelle.css Fri Jan 02 19:38:14 2009 +0100
@@ -20,20 +20,20 @@
/* inner and outer syntax markup */
-.tfree, tfree { color: purple; }
-.tvar, tvar { color: purple; }
-.free, free { color: blue; }
-.skolem, skolem { color: brown; }
-.bound, bound { color: green; }
-.var, var { color: blue; }
-.num, num { }
-.xnum, xnum { }
-.xstr, xstr { color: brown; }
-.literal, literal { font-weight: bold; }
-
+.tfree, tfree { color: purple; }
+.tvar, tvar { color: purple; }
+.free, free { color: blue; }
+.skolem, skolem { color: brown; }
+.bound, bound { color: green; }
+.var, var { color: blue; }
+.numeral, numeral { }
+.literal, literal { font-weight: bold; }
+.inner_string, inner_string { color: brown; }
+.inner_comment, inner_comment { color: #8B0000; }
+
.loc, loc { color: brown; }
.tclass, tclass { color: red; }
-
+
.keyword, keyword { font-weight: bold; }
.command, command { font-weight: bold; }
.ident, ident { }