function setmenuheight(){var a=document.getElementById("main-content"),c=document.getElementById("left-menu"),b=document.getElementById("section-image");if(a.currentStyle){var d=a.offsetHeight,e=parseInt(a.currentStyle.paddingTop),f=parseInt(a.currentStyle.paddingBottom),g=parseInt(a.currentStyle.borderBottom);a=parseInt(a.currentStyle.borderTop);c.style.height=d-f-e;if(b){b=b.offsetHeight;c.style.height=d-f-e+b}}else if(window.getComputedStyle){d=parseInt(document.defaultView.getComputedStyle(a,
null).getPropertyValue("height"));c.style.height=d+"px";if(b){b=parseInt(document.defaultView.getComputedStyle(b,null).getPropertyValue("height"));c.style.height=d+b+"px"}}}
function setmenuheight_index(){var a=document.getElementById("main-content-index"),c=document.getElementById("left-menu-index");if(a.currentStyle){var b=a.offsetHeight,d=parseInt(a.currentStyle.paddingTop),e=parseInt(a.currentStyle.paddingBottom),f=parseInt(a.currentStyle.borderBottom);a=parseInt(a.currentStyle.borderTop);c.style.height=b-e-d}else if(window.getComputedStyle){b=document.defaultView.getComputedStyle(a,null).getPropertyValue("height");c.style.height=b}};