# HG changeset patch
# User wenzelm
# Date 1125251209 -7200
# Node ID 3a02e6349a5d96fe9e5f88d0c006833dc28c18fa
# Parent  1eced27ee0e156d7b2693c755aa38e0b52b10dd5
added 'loc';

diff -r 1eced27ee0e1 -r 3a02e6349a5d lib/html/isabelle.css
--- a/lib/html/isabelle.css	Sun Aug 28 19:42:19 2005 +0200
+++ b/lib/html/isabelle.css	Sun Aug 28 19:46:49 2005 +0200
@@ -9,6 +9,7 @@
 .bound  { color: green; }
 .var    { color: blue; }
 .xstr   { color: brown; }
+.loc    { color: brown; }
 
 .name     { font-style: italic; }
 .keyword  { font-weight: bold; }