MediaWiki:Vector.js

$(function{if($("a[href*=#]:not([href=#])").click(function{if(location.pathname.replace(/^\//,"")==this.pathname.replace(/^\//,"")&&location.hostname==this.hostname){var t=$(this.hash);if(t=t.length?t:$("[name="+this.hash.slice(1)+"]"),t.length)return $("html,body").animate({scrollTop:t.offset.top-150},1e3),!1}}),$(location.href.split("#")[1])){var t=$("#"+location.href.split("#")[1]);if(t.length)return $("html,body").animate({scrollTop:t.offset.top-125},1e3),!1}});