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(e,t,n){var o=!(!t||!t.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 a,c;return this.ANCHOR_REGEX.test(r)?(a=e.getElementById(r.slice(1)),a&&(c=$(a).offset().top-this.getFixedOffset(),$("html, body").animate({scrollTop:c},1e3),o&&i&&t.pushState({},e.title,n.pathname+r)),!!a):!1},scrollToCurrent:function(e){this.scrollIfAnchor(window.location.hash)&&e&&e.preventDefault()},delegateAnchors:function(e){var t=e.target;this.scrollIfAnchor(t.getAttribute("href"),!0)&&e.preventDefault()}};$(e).ready($.proxy(r,"init"))}(window.document,window.history,window.location);var addStyleSwitcherEle=function(){var e=document.createElement("div");e.className="themeswitcher",e.id="darktheme";var t=document.createTextNode("theme");e.appendChild(t);var n=document.getElementById("p-personal");n.insertAdjacentElement("afterend",e)};$(document).ready(addStyleSwitcherEle);