/* | |
* Hide class="elementid-permalink", except when an enclosing heading | |
* has the :hover property. | |
*/ | |
.headerlink, .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 | |
} |