Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
!function(t,e,o){var n=!(!e||!e.pushState),r={ANCHOR_REGEX:/^#[^ ]+$/,OFFSET_HEIGHT_PX:150,init:function(){this.scrollToCurrent(),$(window).on("hashchange",$.proxy(this,"scrollToCurrent")),$("body").on("click","a",$.proxy(this,"delegateAnchors"))},getFixedOffset:function(){return this.OFFSET_HEIGHT_PX},scrollIfAnchor:function(r,i){var s,c;return this.ANCHOR_REGEX.test(r)?(s=t.getElementById(r.slice(1)),s&&(c=$(s).offset().top-this.getFixedOffset(),$("html, body").animate({scrollTop:c},1e3),n&&i&&e.pushState({},t.title,o.pathname+r)),!!s):!1},scrollToCurrent:function(t){this.scrollIfAnchor(window.location.hash)&&t&&t.preventDefault()},delegateAnchors:function(t){var e=t.target;this.scrollIfAnchor(e.getAttribute("href"),!0)&&t.preventDefault()}};$(t).ready($.proxy(r,"init"))}(window.document,window.history,window.location);