45,881
edits
Changes
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";