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 81822072cef5a48fff8584a3e8974db0dbf9babd..36b505e75a699e38016b4ae55735ff4e59ac4cc2 100644 (file)
--- 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;
 }