From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 22 Dec 2005 10:01:37 +0000 (+0000)
Subject: fix
X-Git-Tag: make_still_working~7928
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4301dbaf20b68840e3bdf6a9b701d71034c91b7f;p=helm.git

fix
---

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 498db558e..81822072c 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -4,5 +4,5 @@ body {
 }
 
 a {
-  border: blue 1pt;
+  border: solid 1pt blue;
 }