static/css/thrift.css (21 lines of code) (raw):
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
}