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

kleintom/dxr,nrc/dxr,jay-z007/dxr,gartung/dxr,KiemVM/Mozilla--dxr,erikrose/dxr,gartung/dxr,bozzmob/dxr,bozzmob/dxr,jbradberry/dxr,jbradberry/dxr,srenatus/dxr,gartung/dxr,bozzmob/dxr,pombredanne/dxr,nrc/dxr,kleintom/dxr,pombredanne/dxr,nrc/dxr,pombredanne/dxr,gartung/dxr,pelmers/dxr,bozzmob/dxr,erikrose/dxr,jay-z007/dxr,jbradberry/dxr,kleintom/dxr,pelmers/dxr,kleintom/dxr,srenatus/dxr,nrc/dxr,jay-z007/dxr,gartung/dxr,pelmers/dxr,nrc/dxr,jay-z007/dxr,bozzmob/dxr,pombredanne/dxr,jay-z007/dxr,KiemVM/Mozilla--dxr,kleintom/dxr,jbradberry/dxr,pelmers/dxr,jbradberry/dxr,srenatus/dxr,KiemVM/Mozilla--dxr,KiemVM/Mozilla--dxr,kleintom/dxr,bozzmob/dxr,jbradberry/dxr,srenatus/dxr,pelmers/dxr,pombredanne/dxr,pombredanne/dxr,gartung/dxr,pelmers/dxr,erikrose/dxr,erikrose/dxr,jbradberry/dxr,KiemVM/Mozilla--dxr,pelmers/dxr,gartung/dxr,srenatus/dxr,srenatus/dxr,erikrose/dxr,KiemVM/Mozilla--dxr,nrc/dxr,kleintom/dxr,bozzmob/dxr,jay-z007/dxr,jay-z007/dxr,pombredanne/dxr