--- a/lib/html/isabelle.css Thu Jul 22 22:39:31 2010 +0200
+++ b/lib/html/isabelle.css Thu Jul 22 22:50:35 2010 +0200
@@ -14,9 +14,6 @@
.name { font-style: italic; }
.filename { font-family: fixed; }
-/* hide hr for this style */
-hr { height: 0px; border: 0px; }
-
/* basic syntax markup */