<!--

var browser = navigator.appName;
var version = versionNumber();

function versionNumber() {
  // return version number (e.g., 4.03)
  return parseFloat(navigator.appVersion)
}

document.writeln('<link rel=stylesheet href="stl/txt.css" type="text/css">');

if ((browser != "Netscape") || (version >= 5))
{
  document.writeln('<link rel=stylesheet href="stl/nonet.css" type="text/css">')
  switch (screen.width)
  {
    case 1024:
      document.writeln('<link rel=stylesheet href="stl/img1024.css" type="text/css">')
      break
    case 640:
      document.writeln('<link rel=stylesheet href="stl/img640.css" type="text/css">')
      break
    case 1152:
      document.writeln('<link rel=stylesheet href="stl/img1152.css" type="text/css">')
      break
    case 1280:
      document.writeln('<link rel=stylesheet href="stl/img1280.css" type="text/css">')
      break
    case 1600:
      document.writeln('<link rel=stylesheet href="stl/img1600.css" type="text/css">')
      break
    default:
      document.writeln('<link rel=stylesheet href="stl/img800.css" type="text/css">')
  }
}

if ((browser == "Microsoft Internet Explorer") && (version <= 5))
{
  document.writeln('<link rel=stylesheet href="stl/ie.css" type="text/css">')
}

//-->
