From 16ab57a64b5c074344cb422b4b4de8aec2785399 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 22 Dec 2005 10:02:40 +0000
Subject: [PATCH] fix

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

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 81822072c..36b505e75 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -4,5 +4,6 @@ body {
 }
 
 a {
-  border: solid 1pt blue;
+  border: solid blue;
+  text-decoration: none;
 }
-- 
2.39.2