Changes

MediaWiki:Common.js

111 bytes added, 21:44, 13 May 2017
no edit summary
var header_height = document.getElementById("p-visit").scrollHeight;
var extra_scroll = 0; if (document.getElementById('p-tb') !=null) {var extra_scroll = 200;} if (window.scrollY + 430 330 + extra_scroll > header_height){
document.getElementById("p-visit").style.position="fixed";
document.getElementById("p-visit").style.top="0px";