h1 > a.anchor, h2 > a.anchor, h3 > a.anchor, h4 > a.anchor, h5 > a.anchor, h6 > a.anchor {
  text-decoration: none solid;
  color: inherit;
  visibility: hidden;
}

h1:hover > a.anchor, h1 > a.anchor:hover,
h2:hover > a.anchor, h2 > a.anchor:hover,
h3:hover > a.anchor, h3 > a.anchor:hover,
h4:hover > a.anchor, h4 > a.anchor:hover,
h5:hover > a.anchor, h5 > a.anchor:hover,
h6:hover > a.anchor, h6 > a.anchor:hover {
  visibility: visible;
}

h1 > a.anchor::before, h2 > a.anchor::before, h3 > a.anchor::before, h4 > a.anchor::before, h5 > a.anchor::before, h6 > a.anchor::before {
  content: "\0023";
  font-size: .85em;
  display: inline;
  margin-left: .3em;
  padding-top: .1em;
}
