Fix Bug 964413, ensure that highlighted anchor is never hidden behind header

@erikrose r?