refrain from using bold within the term language -- looks odd in Lobo with error/warning background;
1.1 --- a/lib/html/isabelle.css Sat May 22 20:02:26 2010 +0200
1.2 +++ b/lib/html/isabelle.css Sat May 22 20:10:11 2010 +0200
1.3 @@ -26,7 +26,7 @@
1.4 .tfree, tfree { color: #A020F0; }
1.5 .tvar, tvar { color: #A020F0; }
1.6 .free, free { color: blue; }
1.7 -.skolem, skolem { color: #D2691E; font-weight: bold; }
1.8 +.skolem, skolem { color: #D2691E; }
1.9 .bound, bound { color: green; }
1.10 .var, var { color: #00009B; }
1.11 .numeral, numeral { }