fix

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 0a3be849cae14622c3eca9dc793b075cafbd5f5b..19a0a0935283d8560c4da54e0ed2c2ded04be227 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -47,25 +47,24 @@ a.upmenu {
 
 a.upmenu:hover { 
   color: #591622;      
-  border-color: #808080;
+  text-decoration : none;
+  border-bottom-width: 3px;
+  border-color: #b2dae6;
 }
 
 a {
   color: #591622;
   text-decoration : none;
+}
 
-  /*
+a:hover {
+  text-decoration : none;
   border-bottom-width: 2px;
   border-top-width: 0px;
   border-left-width: 0px;
   border-right-width: 0px;
   border-style: solid;
-  border-color: #cb8080;
-  */
-}
-
-a:hover {
-  color: #808080;
+  border-color: #b2dae6;
 }
 
 div.upmenu {