--- a/lib/html/isabelle.css Fri May 21 15:29:20 2010 +0200
+++ b/lib/html/isabelle.css Fri May 21 16:40:25 2010 +0200
@@ -1,4 +1,4 @@
-/* css style file for Isabelle XHTML/XML output */
+/* style file for Isabelle XHTML/XML output */
body { background-color: #FFFFFF; }