fixed download links and added underlined hyperlinks

[helm.git] / helm / www / matita / style.css

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 24fbcba4c1a9bf49301b03d1f82d6ef0bb68c278..8c4a95c4181f42555d16650cbb9ad046c7c056c7 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -65,11 +65,11 @@ a.upmenu:hover {
 a {
   margin: 2px;
   color: #591622;
-  text-decoration : none;
+  text-decoration : underline;
 }
 
 a:hover {
-  text-decoration : none;
+  text-decoration : underline;
   /*
   border-bottom-width: 2px;
   border-top-width: 0px;