etc/isabelle.css

--- a/etc/isabelle.css	Tue Jun 28 10:52:15 2011 +0200
+++ b/etc/isabelle.css	Wed Jun 29 15:23:36 2011 +0200
@@ -17,7 +17,7 @@
 
 /* basic syntax markup */
 
-.hidden         { font-size: 0.1pt; visibility: hidden; }
+.hidden         { font-size: 1px; visibility: hidden; }
 
 .binding        { color: #336655; }
 .entity_class   { color: red; }