X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=8c4a95c4181f42555d16650cbb9ad046c7c056c7;hb=37e0a6ded28116214bbe96a965589d98ed733db3;hp=24fbcba4c1a9bf49301b03d1f82d6ef0bb68c278;hpb=bf00dddb49e51a5fa1eb5eb8f73bf29632daf576;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 24fbcba4c..8c4a95c41 100644
--- 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;