function setPageHeight(){var b=document.getElementsByClassName("submenu",document.getElementById("menu"));var c=document.getElementById("tekst");if(b.length&&c.offsetHeight<b[0].offsetHeight){c.style.height=b[0].offsetHeight+"px"}document.getElementById("page").style.height="100%";var a=(document.documentElement?document.documentElement:document.body).scrollHeight;if(a<document.body.scrollHeight){a=document.body.scrollHeight}document.getElementById("page").style.height=a+"px"}AddToInitArray(setPageHeight);window.onresize=setPageHeight;