/* Changes font size depending on specific platform */ 

	mac = (navigator.appVersion.lastIndexOf('Mac') != -1)? 1:0;
	Net = (navigator.appName.indexOf('Netscape')>=0)? 1:0;
	ie4 = (navigator.appVersion.indexOf('MSIE 4')>0)? 1:0;
	ie5 = (navigator.appVersion.indexOf('MSIE 5')>0)? 1:0;

	if ( (mac && Net) || (mac && ie4))
	{
		document.write("<STYLE TYPE=text/css>A.Bottomnav{FONT-SIZE: 8pt;}</STYLE>") //Netscape on Mac only
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 10pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 11pt;}</STYLE>")	
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 12pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>.ContentText,.Heading{FONT-SIZE: 12pt;}</STYLE>")	
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 13pt;}</STYLE>")		
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 14pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 16pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 20pt;}</STYLE>")
	}	
	else
	{
	if (mac && ie5)
	{				
		document.write("<STYLE TYPE=text/css>A.Bottomnav{FONT-SIZE: 5pt;}</STYLE>") //IE5 on Mac only
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 7pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 9px;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 9pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>.ContentText,.Heading{FONT-SIZE: 9pt;}</STYLE>")	
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 10pt;}</STYLE>")				
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 12pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 14pt;}</STYLE>")
		document.write("<STYLE TYPE=text/css>{FONT-SIZE: 18pt;}</STYLE>")
	}		
	else
		{
			document.write("<STYLE TYPE=text/css>A.Bottomnav,{FONT-SIZE: 7pt;}</STYLE>") //IE and Netscape on PC
			document.write("<STYLE TYPE=text/css>{FONT-SIZE: 9pt;}</STYLE>")
			document.write("<STYLE TYPE=text/css>{FONT-SIZE: 10pt;}</STYLE>")
			document.write("<STYLE TYPE=text/css>.ContentText,.Heading{FONT-SIZE: 11pt;}</STYLE>")
			document.write("<STYLE TYPE=text/css>{FONT-SIZE: 12pt;}</STYLE>") 
			document.write("<STYLE TYPE=text/css>{FONT-SIZE: 14pt;}</STYLE>")
			document.write("<STYLE TYPE=text/css>{FONT-SIZE: 18pt;}</STYLE>")
		}
	}