fix

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 40a5863138ba4fb6f2da4ddac8a7df022bf54ca3..697bff14b70d982bc1f8660b3aac88063876e3df 100644 (file)
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -21,6 +21,7 @@ a, .button {
   background-color: silver;
   color: black;
   cursor:pointer;
+  font-size: small;
 }
 
 li {