X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=150aaf781315e2475980271362ff1cfeb0dce939;hb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;hp=ed3a266f515b50d843605e164e2877cac4f95305;hpb=73445ceb9d6f8a37784d8d2c73dabe800c6e0926;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index ed3a266f5..150aaf781 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -8,14 +8,20 @@ body {
    margin: 2.5%;
 }
 
-a:link, a:visited {
+a:link, a:visited, a:hover, a:active, a:focus {
    text-decoration: underline;
    color: rgb(0, 0, 0);
 }
 
-a:active, a:hover, a:focus {
+a:hover {
    background: rgb(192, 192, 192);
-   color: rgb(0, 0, 0);
+}
+
+/* on newer browsers, disable style modifications for named anchors */
+a[name]:hover {
+   text-decoration: inherit;
+   color: inherit;
+   background: inherit;
 }
 
 /* blocks *******************************************************************/