fix

[helm.git] / helm / matita / scripts / public_html / style.css

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 697bff14b70d982bc1f8660b3aac88063876e3df..542fe111a4be6ca5d92e1ca4be0120e5fee69cb1 100644 (file)
--- 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 {