if ((navigator.appName.indexOf("Microsoft") != -1) || ((navigator.appName.indexOf("Netscape") != -1) && (parseInt(navigator.appVersion.substring(navigator.appVersion.indexOf(".")-1)) > 4)) || ((navigator.appName.indexOf("Netscape") != -1) && (navigator.appVersion.indexOf("Mac") != -1) && (parseInt(navigator.appVersion.substring(navigator.appVersion.indexOf(".")-1)) > 3)  ))
  {
	var menufont = 'font-size: 10px;';
	var menutitlefont = 'font-size: 11px;';
  } 
else 
  {
	var menufont = 'font-size: 11px;';
	var menutitlefont = 'font-size: 11px;';
  }