1.1 --- a/etc/isabelle.css	Sat Jun 25 15:08:58 2011 +0200
     1.2 +++ b/etc/isabelle.css	Sat Jun 25 17:17:49 2011 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4  
     1.5  .hidden, hidden { font-size: 0.1pt; visibility: hidden; }
     1.6  
     1.7 +.binding, binding             { color: #9966FF; }
     1.8  .tclass, tclass               { color: red; }
     1.9  .tfree, tfree                 { color: #A020F0; }
    1.10  .tvar, tvar                   { color: #A020F0; }