diff -r c197b3c3e7fa -r dc3bbdda4bc8 etc/isabelle.css
--- a/etc/isabelle.css	Thu Aug 09 22:31:04 2012 +0200
+++ b/etc/isabelle.css	Fri Aug 10 10:18:07 2012 +0200
@@ -42,7 +42,7 @@
 .verbatim       { color: #00008B; }
 .comment        { color: #8B0000; }
 .control        { background-color: #FF6A6A; }
-.malformed      { background-color: #FF6A6A; }
+.bad            { background-color: #FF6A6A; }
 
 .malformed_span { background-color: #FF6A6A; }