تغییرات

مدیاویکی:Common.js

۳۵ بایت حذف‌شده، ‏۳۰ سپتامبر ۲۰۱۷، ساعت ۱۴:۳۷

بدون خلاصه ویرایش

var menu = $("#toc");

var m_width = menu.width();

var body = $("#bodyContent");

if($('[id="toc"]').length > 0) {

menu.css({'position' : 'fixed',

'top' : '100px',

'left' : '0'});

body.css("width", "calc(100% - 180px)");

}else body.removeAttr("style");

/* google analytics */

(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){

~~});~~

~~$(document).ready(function(){~~

~~var menu = $("#toc");~~

~~var m_width = menu.width();~~

~~var body = $("#bodyContent");~~

~~if($('[id="toc"]').length > 0) {~~

~~menu.css({'position' : 'fixed',~~

~~'top' : '100px',~~

~~'left' : '0'});~~

~~body.css("width", "calc(100% - 180px)");~~

~~}else body.removeAttr("style");~~

});

۳۱۷

ویرایش