# 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; }