in static/js/glossary.js [157:161]
$(this).mouseenter(function(){ permalink.removeClass("hide"); }).mouseleave(function(){ permalink.addClass("hide"); });;