severe bug found in parallel zeta

[helm.git] / helm / www / matita / style.css

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 2d1fbef4da521d7eb392027adcc0b49825c1d9d6..00eef2ed1d1b94da444426eb53dc2447aa91d0ac 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -32,8 +32,8 @@ div.news {
   background: #eaeaea;
   padding: 5px;
   display: block;
-    height: 90%;
-      overflow: auto;
+  height: 90%;
+  overflow: hidden;
 }
 
 /* site-wide typesetting */