MediaWiki:Vector.js

/* 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-page-base').style.top = (vertical_position) + 'px';
  //document.getElementById('mw-head').style.top = (vertical_position) + 'px';
  document.getElementById('mw-panel').style.top = (vertical_position + 160) + 'px';
}