# HG changeset patch
# User wenzelm
# Date 1261145461 -3600
# Node ID bb20fb8a57be39b3865a9f5babb46940434f8437
# Parent  ae92efb4878478a0a95d3803fcd990669c2d5b58
imitate PG colors;

diff -r ae92efb48784 -r bb20fb8a57be lib/html/isabelle.css
--- a/lib/html/isabelle.css	Fri Dec 18 12:28:50 2009 +0100
+++ b/lib/html/isabelle.css	Fri Dec 18 15:11:01 2009 +0100
@@ -23,19 +23,19 @@
 .hidden, hidden { font-size: 0.1pt; visibility: hidden; }
 
 .tclass, tclass               { color: red; }
-.tfree, tfree                 { color: purple; }
-.tvar, tvar                   { color: purple; }
+.tfree, tfree                 { color: #A020F0; }
+.tvar, tvar                   { color: #A020F0; }
 .free, free                   { color: blue; }
-.skolem, skolem               { color: brown; }
+.skolem, skolem               { color: #D2691E; }
 .bound, bound                 { color: green; }
-.var, var                     { color: blue; }
+.var, var                     { color: #00009B; }
 .numeral, numeral             { }
 .literal, literal             { font-weight: bold; }
-.inner_string, inner_string   { color: brown; }
+.inner_string, inner_string   { color: #D2691E; }
 .inner_comment, inner_comment { color: #8B0000; }
 
 .bold, bold  { font-weight: bold; }
-.loc, loc  { color: brown; }
+.loc, loc  { color: #D2691E; }
 
 .keyword, keyword      { font-weight: bold; }
 .command, command      { font-weight: bold; }