// font-size.js
// version 2005.10.3

var vNum = navigator.appVersion.charAt(0);
var bName = navigator.appName.charAt(0);

document.writeln("<STYLE TYPE='text/css'><!--");
if(navigator.appVersion.indexOf("Mac") > -1)
{
  if( bName == "M")
   {
    // Macintosh Internet Explorer
    document.writeln(".stx { font-size:10px; line-height:15px }");
    document.writeln(".s { font-size:10px }");
  }
  else
  {
    if( vNum < 5 )
    {
      // Macintosh Netscape 4.x
      document.writeln(".stx { font-size:10px; line-height:15px }");
      document.writeln(".s { font-size:10px }");
    }
    else
    {
      // Macintosh Netscape 6.x~
      document.writeln(".stx { font-size:10px; line-height:15px }");
      document.writeln(".s { font-size:10px }");
    }
   }

}
else
{
  if( bName == "M")
  {
    // Windows Internet Explorer
    document.writeln(".stx { font-size:8pt; line-height:12pt }");
    document.writeln(".s { font-size:8pt }");
  }
  else
  {
    if( vNum < 5 )
    {
      // Windows Netscape 4.x
      document.writeln(".stx { font-size:8pt; line-height:12pt }");
      document.writeln(".s { font-size:8pt }");
    }
    else
    {
      // Windows Netscape 6.x~
      document.writeln(".stx { font-size:8pt; line-height:12pt }");
      document.writeln(".s { font-size:8pt }");
    }
  }
}
 document.writeln("--></STYLE>");