
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
}