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