function resizeMenu() {
	document.getElementById("second_lvl_nav").style.height = document.getElementById("second_lvl_nav-bottomline").offsetHeight+"px";
}