| a.headerlink:hover { | |
| text-decoration: none | |
| } | |
| h1 > .headerlink, | |
| h2 > .headerlink, | |
| h3 > .headerlink, | |
| h4 > .headerlink, | |
| h5 > .headerlink, | |
| h6 > .headerlink, | |
| dt > .elementid-permalink { | |
| visibility: hidden | |
| } | |
| h1:hover > .headerlink, | |
| h2:hover > .headerlink, | |
| h3:hover > .headerlink, | |
| h4:hover > .headerlink, | |
| h5:hover > .headerlink, | |
| h6:hover > .headerlink, | |
| dt:hover > .elementid-permalink { | |
| visibility: visible | |
| } | |