refrain from using bold within the term language -- looks odd in Lobo with error/warning background;

--- a/lib/html/isabelle.css	Sat May 22 20:02:26 2010 +0200
+++ b/lib/html/isabelle.css	Sat May 22 20:10:11 2010 +0200
@@ -26,7 +26,7 @@
 .tfree, tfree                 { color: #A020F0; }
 .tvar, tvar                   { color: #A020F0; }
 .free, free                   { color: blue; }
-.skolem, skolem               { color: #D2691E; font-weight: bold; }
+.skolem, skolem               { color: #D2691E; }
 .bound, bound                 { color: green; }
 .var, var                     { color: #00009B; }
 .numeral, numeral             { }