location on "jump to " page

[SFI_IT]

Because of a fixed menu system, the "jump to" location is always below the highlighted text on the destination. I've tweeked the "function jumpHL()" in the highlight.js file, but it does not seem to make any difference.
Any ideas?

[Ray]

Hard to comment without knowing how your menus are defined in HTML, or what your tweak was. But doing that would take hours to debug your site specfically and we don't provide free support for customized scripts.

But I can suggest you to make sure your browser is not caching the JS file (which it often does) if it's not reflecting any changes you're making. Make some obvious changes to force the jump location further, and if it doesn't do anything, then you can deduce its a caching issue.