h1[id]:hover a.anchorlink:before,
h2[id]:hover a.anchorlink:before,
h3[id]:hover a.anchorlink:before,
h4[id]:hover a.anchorlink:before,
h5[id]:hover a.anchorlink:before,
h6[id]:hover a.anchorlink:before {
color: #888;
content: "\f103"; font-size: smaller;
text-decoration: none;
vertical-align: middle;
}
a.anchorlink {
font-size: smaller;
margin-left: 0.5em;
text-decoration: none;
}