# HG changeset patch
# User wenzelm
# Date 1183760089 -7200
# Node ID 52c7bcfc9515cdd054edfa14031c55ac84da83f3
# Parent  65b168646309e87dcd72cad61d618e037faf4cc5
added class skolem, command;

diff -r 65b168646309 -r 52c7bcfc9515 lib/html/isabelle.css
--- 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; }