function adjustMainBodyHeight(){var d=455;var e=64;var b=d-e;var g=$("main");var f=(window.innerHeight)?window.innerHeight:(document.documentElement.clientHeight)?document.documentElement.clientHeight:(document.body.clientHeight)?document.body.clientHeight:1024;var a=f-($("header_container").getHeight()+$("footer_container").getHeight()+$("main_menu_container").getHeight())-0;var c=a-e;if(a<d){$("main").setStyle({height:d+"px"});$("sequence_pane_sequence_display").setStyle({height:+b+"px"})}else{$("main").setStyle({height:+a+"px"});$("sequence_pane_sequence_display").setStyle({height:c+"px"})}}Event.observe(window,"load",adjustMainBodyHeight);Event.observe(window,"resize",adjustMainBodyHeight);