/* This file may be copyrighted. It has been obfuscated for brevity, not for secrecy. Check http://www.jungepartner.de/layout.js?clear */function fix_sizes(){if($("margin")&&$("content")){if($("margin").getHeight()>$("content").getHeight()){$("content").style.height=$("margin").getHeight()+"px"}else{$("margin").style.height=$("content").getHeight()+"px"}}if($("menu")&&$("main")){if($("menu").getHeight()<$("main").getHeight()){$("menu").style.height=$("main").getHeight()+"px"}}}document.observe("dom:loaded",fix_sizes);