1.1 --- a/etc/isabelle.css	Sat Jun 25 18:15:36 2011 +0200
     1.2 +++ b/etc/isabelle.css	Sat Jun 25 18:24:52 2011 +0200
     1.3 @@ -17,34 +17,34 @@
     1.4  
     1.5  /* basic syntax markup */
     1.6  
     1.7 -.hidden, hidden { font-size: 0.1pt; visibility: hidden; }
     1.8 +.hidden         { font-size: 0.1pt; visibility: hidden; }
     1.9  
    1.10 -.binding, binding             { color: #9966FF; }
    1.11 -.entity_class                 { color: red; }
    1.12 -.tfree, tfree                 { color: #A020F0; }
    1.13 -.tvar, tvar                   { color: #A020F0; }
    1.14 -.free, free                   { color: blue; }
    1.15 -.skolem, skolem               { color: #D2691E; }
    1.16 -.bound, bound                 { color: green; }
    1.17 -.var, var                     { color: #00009B; }
    1.18 -.numeral, numeral             { }
    1.19 -.literal, literal             { font-weight: bold; }
    1.20 -.delimiter, delimiter         { }
    1.21 -.inner_string, inner_string   { color: #D2691E; }
    1.22 -.inner_comment, inner_comment { color: #8B0000; }
    1.23 +.binding        { color: #9966FF; }
    1.24 +.entity_class   { color: red; }
    1.25 +.tfree          { color: #A020F0; }
    1.26 +.tvar           { color: #A020F0; }
    1.27 +.free           { color: blue; }
    1.28 +.skolem         { color: #D2691E; }
    1.29 +.bound          { color: green; }
    1.30 +.var            { color: #00009B; }
    1.31 +.numeral        { }
    1.32 +.literal        { font-weight: bold; }
    1.33 +.delimiter      { }
    1.34 +.inner_string   { color: #D2691E; }
    1.35 +.inner_comment  { color: #8B0000; }
    1.36  
    1.37 -.bold, bold  { font-weight: bold; }
    1.38 +.bold           { font-weight: bold; }
    1.39  
    1.40 -.keyword, keyword      { font-weight: bold; }
    1.41 -.operator, operator    { }
    1.42 -.command, command      { font-weight: bold; }
    1.43 -.ident, ident          { }
    1.44 -.string, string        { color: #008B00; }
    1.45 -.altstring, altstring  { color: #8B8B00; }
    1.46 -.verbatim, verbatim    { color: #00008B; }
    1.47 -.comment, comment      { color: #8B0000; }
    1.48 -.control, control      { background-color: #FF6A6A; }
    1.49 -.malformed, malformed  { background-color: #FF6A6A; }
    1.50 +.keyword        { font-weight: bold; }
    1.51 +.operator       { }
    1.52 +.command        { font-weight: bold; }
    1.53 +.ident          { }
    1.54 +.string         { color: #008B00; }
    1.55 +.altstring      { color: #8B8B00; }
    1.56 +.verbatim       { color: #00008B; }
    1.57 +.comment        { color: #8B0000; }
    1.58 +.control        { background-color: #FF6A6A; }
    1.59 +.malformed      { background-color: #FF6A6A; }
    1.60  
    1.61 -.malformed_span, malformed_span { background-color: #FF6A6A; }
    1.62 +.malformed_span { background-color: #FF6A6A; }
    1.63