if( navigator.appName == "Netscape" && parseInt(navigator.appVersion) == 4 && navigator.platform == "Win32") {
	document.tags.body.fontSize = '11px';
	document.tags.td.fontSize = '11px';
	document.tags.p.fontSize = '11px';
	//document.tags.input.fontSize = '11px';
	
	document.classes.splashtext.all.fontSize = '11px';
	document.classes.tagline.all.fontSize = '11px';
	document.classes.blue.all.fontSize = '11px';
	document.classes.bbold.all.fontSize = '11px';
	document.classes.brochure.all.fontSize = '10px';
}