# HG changeset patch
# User wenzelm
# Date 1309019391 -7200
# Node ID b416425c7ad048819d866494077c51bf5b36984a
# Parent  bb4cff2ff5567912e743b5017c2617fae48f7ed9
tuned color, to avoid confusion with type variables;

diff -r bb4cff2ff556 -r b416425c7ad0 etc/isabelle.css
--- a/etc/isabelle.css	Sat Jun 25 18:24:52 2011 +0200
+++ b/etc/isabelle.css	Sat Jun 25 18:29:51 2011 +0200
@@ -19,7 +19,7 @@
 
 .hidden         { font-size: 0.1pt; visibility: hidden; }
 
-.binding        { color: #9966FF; }
+.binding        { color: #336655; }
 .entity_class   { color: red; }
 .tfree          { color: #A020F0; }
 .tvar           { color: #A020F0; }