if (navigator.appVersion.indexOf("Mac")!=-1) {
	document.getElementById("menu0").style.paddingTop = "10px";
	document.getElementById("menu1").style.paddingTop = "10px";
	document.getElementById("menu2").style.paddingTop = "10px";
}