function shrink(){
mujdiv = document.getElementById('hlavni');
if(document.defaultView) {vyskadivu = window.document.defaultView.getComputedStyle(mujdiv,null).getPropertyValue('height');} //MOZ
if(mujdiv.currentStyle) {vyskadivu = eval("mujdiv.currentStyle.height");} // IE

vyska = document.body.clientHeight - 185;

if (vyskadivu.substring(0, vyskadivu.length - 2) < vyska || vyskadivu.substring(0, vyskadivu.length) == "auto"){document.getElementById('hlavni').style.height = vyska;}
}