]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
- xhtbl: support for relative links added
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index ed3a266f515b50d843605e164e2877cac4f95305..150aaf781315e2475980271362ff1cfeb0dce939 100644 (file)
@@ -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 *******************************************************************/