# HG changeset patch
# User wenzelm
# Date 1261146772 -3600
# Node ID 5e4396105332690a37aecc125703e41f60f4cdc0
# Parent  e96fe0e97bbc21f71410611a0da3bcd238b969e6
imitate PG style;

diff -r e96fe0e97bbc -r 5e4396105332 lib/html/isabelle.css
--- a/lib/html/isabelle.css	Fri Dec 18 15:14:59 2009 +0100
+++ b/lib/html/isabelle.css	Fri Dec 18 15:32:52 2009 +0100
@@ -26,7 +26,7 @@
 .tfree, tfree                 { color: #A020F0; }
 .tvar, tvar                   { color: #A020F0; }
 .free, free                   { color: blue; }
-.skolem, skolem               { color: #D2691E; }
+.skolem, skolem               { color: #D2691E; font-weight: bold; }
 .bound, bound                 { color: green; }
 .var, var                     { color: #00009B; }
 .numeral, numeral             { }