MediaWiki:SupportPage.js: Difference between revisions
Content deleted Content added
rm topmenuheight, not needed here |
use document.getElementById to cope with odd characters |
||
Line 27:
// so we can get a fancy scroll animation
menuItems.click(function(e){
var
offsetTop =
$('html, body').stop().animate({
scrollTop: offsetTop
|