dom.event.addEvent(window,"load",adjust_size);function adjust_size(){var B=$("main");var F=$("side_left");var C=$("side_right");var D=B.scrollHeight;var G=F.scrollHeight-add_array(dom.style.getView(F,"padding-top","padding-bottom"));var E=C.scrollHeight-add_array(dom.style.getView(C,"padding-top","padding-bottom"));var A=E>G?E:G;if(A>D){B.style.height=A+20+"px";F.style.overflow="visible";C.style.overflow="visible"}}