۵٬۱۲۰
ویرایش
مدیاویکی:Common.js: تفاوت میان نسخهها
بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
| خط ۲۰: | خط ۲۰: | ||
}); | }); | ||
var offset = $(':target').offset(); | var offset = $(':target').offset(); | ||
var scrollto = offset.top - 100; // minus fixed header height | var scrollto = offset.top - 100; // minus fixed header height | ||
$('html, body').animate({scrollTop:scrollto}, 0); | $('html, body').animate({scrollTop:scrollto}, 0); | ||
*/ | |||
/* global mw, $ */ | /* global mw, $ */ | ||
// Editing-related javascripts | // Editing-related javascripts | ||