--- a/Admin/website/dist/css/isabelle_screen.css Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/dist/css/isabelle_screen.css Sat Jun 04 21:35:20 2005 +0200
@@ -110,4 +110,4 @@
body.dist div#content {
/* not needed now */
-}
\ No newline at end of file
+}