if (navigator.platform == "MacPPC" || navigator.platform == "MacIntel" || 
		(navigator.platform == "Win32" && navigator.userAgent.indexOf("Safari") != -1)){
	// load mac style sheet, which contains fixes for the main menu
	document.write("<link rel='stylesheet' type='text/css' href='"+base_href+"stylesheets/mac.css' />");
}