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