var detect = navigator.userAgent.toLowerCase();
var OS,browser,version,total,thestring;
var browserName=navigator.appName;
var browserVer1=navigator.appVersion; 
var browserVer=browserVer1.charAt(22);

/*-----------------------------------------------------------------------------------------------*/

//Browser detect script origionally created by Peter Paul Koch at http://www.quirksmode.org/

if (checkIt('konqueror')) {
	browser = "Konqueror";
	OS = "Linux";
}
else if (checkIt('safari')) browser 	= "Safari"
else if (checkIt('omniweb')) browser 	= "OmniWeb"
else if (checkIt('opera')) browser 		= "Opera"
else if (checkIt('webtv')) browser 		= "WebTV";
else if (checkIt('icab')) browser 		= "iCab"
else if (checkIt('msie')) browser 		= "Internet Explorer"
else if (!checkIt('compatible')) {
	browser = "Netscape Navigator"
	version = detect.charAt(8);
}
else browser = "An unknown browser";

if (!version) version = detect.charAt(place + thestring.length);

if (!OS) {
	if (checkIt('linux')) OS 		= "Linux";
	else if (checkIt('x11')) OS 	= "Unix";
	else if (checkIt('mac')) OS 	= "Mac"
	else if (checkIt('win')) OS 	= "Windows"
	else OS 								= "an unknown operating system";
}

function checkIt(string) {
	place = detect.indexOf(string) + 1;
	thestring = string;
	return place;
}

if(detect.indexOf("safari") != -1 && detect.indexOf("chrome") == -1)
{
	//alert("detect "+detect);
	
	var arr = document.getElementById('navigation').getElementsByTagName('ul');
	var arr2 = arr[0].getElementsByTagName('li');
	arr2[0].style.paddingLeft = '5px';
	arr2[1].style.paddingLeft = '4px';
	arr2[2].style.paddingLeft = '4px';
	arr2[3].style.paddingLeft = '4px';
	arr2[4].style.paddingLeft = '4px';
	arr2[5].style.paddingLeft = '4px';
}