mozilla/dxr — pull request #233 by ossreleasefeed (2014-01-30 15:18:54+00:00)
Title: Fix Bug 964413, ensure that highlighted anchor is never hidden behind header

@erikrose r?