X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fstyle.css;h=17c66f4285611dd6d961568a2ad222d91f4d851b;hb=8a1b334a2dcca73eff6beeea0eb51f352f4d4ad3;hp=40a5863138ba4fb6f2da4ddac8a7df022bf54ca3;hpb=3d376438e698dad45bdf9ea26358dc0a19933813;p=helm.git

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 40a586313..17c66f428 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -16,16 +16,18 @@ h2 {
 }
 
 a, .button {
-  border: 2px outset gray;
+  border: 1px outset;
   text-decoration: none;
-  background-color: silver;
+  background-color: #e9e9e9;
   color: black;
   cursor:pointer;
+  font-size: small;
+  padding-left:4px;
+  padding-right:4px;
 }
 
 li {
-  margin-bottom: 5pt;
-  
+  margin-bottom: 10pt;
 }
 
 ul {