// JavaScript Document

function size(){

if (navigator.appVersion.indexOf("Mac")!=-1){
	document.getElementById("nav").style.fontSize="10px";
	
	if (navigator.appVersion.indexOf("Safari")!=-1){
	document.getElementById("nav").style.fontSize="10px";
	document.getElementById("nav").style.width="820px";
}

	
	}



}