if( navigator.appName == "Netscape" && parseInt(navigator.appVersion) == 4 && navigator.platform == "Win32") {
	document.tags.body.fontSize = '11px';
	document.tags.td.fontSize = '11px';
	document.tags.th.fontSize = '11px';
	document.tags.input.fontSize = '11px';
	document.tags.select.fontSize = '11px';
	document.tags.textarea.fontSize = '11px';
	
	document.classes.text.all.fontSize = '11px';
}