--- a/etc/isabelle.css Mon Sep 24 16:41:51 2012 +0200
+++ b/etc/isabelle.css Mon Sep 24 17:28:36 2012 +0200
@@ -44,3 +44,6 @@
.control { background-color: #FF6A6A; }
.bad { background-color: #FF6A6A; }
+.keyword1 { font-weight: bold; }
+.keyword2 { font-weight: bold; }
+