# HG changeset patch
# User wenzelm
# Date 1274551811 -7200
# Node ID 026504e21088ae03f2a6b82fd79edcefdaf1c114
# Parent  6f2731bdba1153c5fe0a25d47782292fe765b8d8
refrain from using bold within the term language -- looks odd in Lobo with error/warning background;

diff -r 6f2731bdba11 -r 026504e21088 lib/html/isabelle.css
--- 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             { }