From 9e3f12f22a985c5c02bc47f02777fb1a881a8640 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 14:01:00 +0000
Subject: [PATCH] fix

---
 helm/matita/scripts/public_html/style.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 697bff14b..542fe111a 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -22,11 +22,12 @@ a, .button {
   color: black;
   cursor:pointer;
   font-size: small;
+  padding-left:4px;
+  padding-right:4px;
 }
 
 li {
-  margin-bottom: 5pt;
-  
+  margin-bottom: 10pt;
 }
 
 ul {
-- 
2.39.2