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