]> matita.cs.unibo.it Git - helm.git/commitdiff
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 21:50:22 +0000 (21:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 21:50:22 +0000 (21:50 +0000)
helm/www/matita/style.css

index 0a3be849cae14622c3eca9dc793b075cafbd5f5b..19a0a0935283d8560c4da54e0ed2c2ded04be227 100644 (file)
@@ -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 {