added class skolem, command;

--- a/lib/html/isabelle.css	Fri Jul 06 23:26:13 2007 +0200
+++ b/lib/html/isabelle.css	Sat Jul 07 00:14:49 2007 +0200
@@ -6,6 +6,7 @@
 .tfree  { color: purple; }
 .tvar   { color: purple; }
 .free   { color: blue; }
+.skolem { color: brown; }
 .bound  { color: green; }
 .var    { color: blue; }
 .xstr   { color: brown; }
@@ -13,6 +14,7 @@
 
 .name     { font-style: italic; }
 .keyword  { font-weight: bold; }
+.command  { font-weight: bold; }
 .filename { font-family: fixed; }
 
 .head     { background-color: #FFFFFF; }