--- a/etc/isabelle.css Thu Jun 08 13:01:50 2017 +0200
+++ b/etc/isabelle.css Thu Jun 08 13:17:40 2017 +0200
@@ -7,7 +7,10 @@
font-weight: bold;
}
-body { background-color: #FFFFFF; }
+body {
+ color: #000000;
+ background-color: #FFFFFF;
+}
.head { background-color: #FFFFFF; }
.source {