# HG changeset patch
# User wenzelm
# Date 1184174525 -7200
# Node ID 1bca2cea80e0bda353cc03af87f3864505d61db5
# Parent  e105381d4140942c2de78914300ebf1d9ba27747
tuned error faces;

diff -r e105381d4140 -r 1bca2cea80e0 lib/html/isabelle.css
--- a/lib/html/isabelle.css	Wed Jul 11 18:25:30 2007 +0200
+++ b/lib/html/isabelle.css	Wed Jul 11 19:22:05 2007 +0200
@@ -27,14 +27,13 @@
 .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: #8B0000; }
-.control        { background-color: #FF6A6A; font-weight: bold; }
-.malformed      { background-color: #FF6A6A; font-weight: bold; }
+.control        { background-color: #FF6A6A; font-weight: }
+.malformed      { background-color: #FF6A6A; font-weight: }
+.junk           { background-color: #FF6A6A; font-weight: }
 
 /* hide hr for this style */
 hr { height: 0px; border: 0px; }