<!--
	var os="unkown";
	str = navigator.userAgent.toUpperCase();
	if (str.indexOf("MAC") >= 0) os="MacOS";
	if (str.indexOf("WIN") >= 0) os="Windows";
	if (str.indexOf("X11") >= 0) os="UNIX";
	document.write('<STYLE TYPE="text/css">');
	if(os=="Windows")
	{
		document.write('.body1   { font-size: 14px; line-height:18px }');
		document.write('.body2    { font-size: 12px; line-height:18px }');
		document.write('.small    { font-size: 10px; line-height:12px}');
	}
	else
	{
		document.write('.body1   { font-size: 12px; line-height:16px }');
		document.write('.body2   { font-size: 10px; line-height:16px }');
		document.write('.small   { font-size: 9px;  line-height:11px }');
	}
	document.write('</STYLE>');
//-->
