MediaWiki:Vector.js: Difference between revisions
From Vision
(Created page with "→Any JavaScript here will be loaded for users using the Vector skin: window.onscroll = function (e) { var vertical_position = 0; if (pageYOffset)//usual vertical_pos...") |
m (Minor correction) |
||
| Line 1: | Line 1: | ||
/* Any JavaScript here will be loaded for users using the Vector skin */ | /* Any JavaScript here will be loaded for users using the Vector skin */ | ||
/* | |||
window.onscroll = function (e) { | window.onscroll = function (e) { | ||
var vertical_position = 0; | var vertical_position = 0; | ||
| Line 11: | Line 12: | ||
//document.getElementById('mw-head').style.top = (vertical_position) + 'px'; | //document.getElementById('mw-head').style.top = (vertical_position) + 'px'; | ||
document.getElementById('mw-panel').style.top = (vertical_position + 160) + 'px'; | document.getElementById('mw-panel').style.top = (vertical_position + 160) + 'px'; | ||
} | |||
*/ | |||
window.onload = function (e) { | |||
document.getElementById('mw-panel').style.position='fixed'; | |||
} | } | ||
Latest revision as of 16:58, 7 November 2019
/* Any JavaScript here will be loaded for users using the Vector skin */
/*
window.onscroll = function (e) {
var vertical_position = 0;
if (pageYOffset)//usual
vertical_position = pageYOffset;
else if (document.documentElement.clientHeight)//ie
vertical_position = document.documentElement.scrollTop;
else if (document.body)//ie quirks
vertical_position = document.body.scrollTop;
//document.getElementById('mw-head').style.top = (vertical_position) + 'px';
document.getElementById('mw-panel').style.top = (vertical_position + 160) + 'px';
}
*/
window.onload = function (e) {
document.getElementById('mw-panel').style.position='fixed';
}
