# HG changeset patch
# User wenzelm
# Date 1230921494 -3600
# Node ID ee08a739ad52cc8ba92c242e9b56f04bcaac9d6b
# Parent  592503fd6dada4d068d6e0500e8bf7f537e2ec7f
updated rendering of inner token markup;

diff -r 592503fd6dad -r ee08a739ad52 lib/html/isabelle.css
--- 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          { }