مدیاویکی:Common.js: تفاوت میان نسخه‌ها

۱۹۱ بایت اضافه‌شده ،  ‏۸ فوریهٔ ۲۰۲۰
بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
خط ۳۱: خط ۳۱:


});
});
/* fix top bar hash navigation problem  */
var offset = $(':target').offset();
var scrollto = offset.top - 100; // minus fixed header height
$('html, body').animate({scrollTop:scrollto}, 0);