]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
named anchors replaced by ids as requested by xhtml
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index 150aaf781315e2475980271362ff1cfeb0dce939..5897aedc6a2994758141ca8a44f2073fd8aee2da 100644 (file)
@@ -17,13 +17,6 @@ a:hover {
    background: rgb(192, 192, 192);
 }
 
-/* on newer browsers, disable style modifications for named anchors */
-a[name]:hover {
-   text-decoration: inherit;
-   color: inherit;
-   background: inherit;
-}
-
 /* blocks *******************************************************************/
 
 div.spacer {