From 87500f81ac74d8943e8645419db2e1f2448b968f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 20 Oct 2008 08:19:43 +0000
Subject: [PATCH] ...

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

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a34f0a5aa..2d1fbef4d 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -31,6 +31,9 @@ div.news {
   width: 150px;
   background: #eaeaea;
   padding: 5px;
+  display: block;
+    height: 90%;
+      overflow: auto;
 }
 
 /* site-wide typesetting */
-- 
2.39.2