MediaWiki:Common.js

Note: After saving, 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)
• Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.

/* Any JavaScript here will be loaded for all users on every page load. */
if (window.tocXdr) mediaWiki.hook( 'wikipage.content' ).add( function ( $contTx ) {
  var relPar = tocXdr.closest("#bodyContent"), content = relPar.closest("#content");
  tocXdr.style.top = (content.offsetTop - relPar.offsetTop + Number(tocXdr.dataset.top) + 12) + "px";
});