content/css/headerlink.css (12 lines of code) (raw):

/* * 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 }