// JavaScript Document
function menuHeight() {
	var height = document.getElementById('navigation').offsetHeight;
	document.getElementById('menu_shadow_left').style.height = height+"px";
	document.getElementById('menu_shadow_right').style.height = height+"px";
}