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 }