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 542fe111a4be6ca5d92e1ca4be0120e5fee69cb1..17c66f4285611dd6d961568a2ad222d91f4d851b 100644 (file)
--- 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;