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

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

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 542fe111a..17c66f428 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -16,9 +16,9 @@ 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;
-- 
2.39.2