Prevent anchors from being hidden by header upon a new page load

Browsers change the scroll position after the page is loaded, and the current 1 ms delay wasn't long enough for the browser to jump to the anchor. Even then, it appears another 100ms delay is necessary to adjust the scroll properly:

http://stackoverflow.com/questions/19057731/scrolltop-on-page-reload-doesnt-work-possible-script-conflict

Add a little more of an offset to see a few lines before the anchor.

• Closes #1614 (closed)
• Closes #1024 (closed)

Added 1 commit:

• 4970fb25 - Prevent anchors from being hidden by header

Added 1 commit:

• 1fdf56c9 - Prevent anchors from being hidden by header upon a new page load.

Title changed from Prevent anchors from being hidden by header to Prevent anchors from being hidden by header upon a new page load

mentioned in issue #1614 (closed)

mentioned in issue #1024 (closed)

@stanhu you are awesome!!!

@stanhu yay! Thank you

Status changed to merged

mentioned in commit c767e2e0

wow, thank you @stanhu