From 6e2dfd0a82ab76d3c0aeec5f6149e7ee5992d687 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 20 Oct 2008 08:21:34 +0000
Subject: [PATCH] ...

---
 helm/www/matita/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 2d1fbef4d..00eef2ed1 100644
--- 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 */
-- 
2.39.2