diff -r d97b594cba5f -r c1102cdf601f Admin/website/dist/css/isabelle_screen.css
--- 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
+}