From 4bcd196e7122f3ab6775a6ae6032295912800be0 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 13:57:47 +0000
Subject: [PATCH] fix

---
 helm/matita/scripts/public_html/style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 40a586313..697bff14b 100644
--- 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 {
-- 
2.39.2