# HG changeset patch
# User wenzelm
# Date 1184102975 -7200
# Node ID e6a5959b5a01e5a21238fda5e4112b21368ce536
# Parent  ecce78dfdfc50df752bc51626e1ae94bc056bfb2
added some markup for outer syntax;

diff -r ecce78dfdfc5 -r e6a5959b5a01 lib/html/isabelle.css
--- a/lib/html/isabelle.css	Tue Jul 10 17:30:57 2007 +0200
+++ b/lib/html/isabelle.css	Tue Jul 10 23:29:35 2007 +0200
@@ -27,5 +27,14 @@
 .theories { background-color: #F0F0F0; padding: 10px; }
 .sessions { background-color: #F0F0F0; padding: 10px; }
 
+.junk           { background-color: #FF6A6A; font-weight: bold; }
+
+.string         { color: #008B00; }
+.altstring      { color: #8B8B00; }
+.verbatim       { color: #00008B; }
+.comment        { color: #00008B; }
+.control        { background-color: #FF6A6A; font-weight: bold; }
+.malformed      { background-color: #FF6A6A; font-weight: bold; }
+
 /* hide hr for this style */
 hr { height: 0px; border: 0px; }