MediaWiki:Common.js
Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5.
var div = document.getElementById("toc");
var toc_height = document.getElementById("toc").offsetHeight;
var toc_to_top = document.getElementById("bodyContent").offsetTop;
var toc_scroll_top = toc_height + toc_to_top + 20;
window.onscroll = function() {
var scrollTop = document.documentElement.scrollTop || document.body.scrollTop;
if(scrollTop > toc_scroll_top){
document.getElementById('toc').style.position = 'fixed';
} else {
document.getElementById('toc').style.position = '';
}
}