<!--
browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
if (browserName == "Netscape" && browserVer >= 4 || browserName == "Microsoft Internet Explorer" && browserVer >= 4)
  version="1";
else if (browserName == "Netscape" && browserVer >= 3) 
    version="2"; 
  else
    version="3";

var zoomer="100"
var stfs="small"
var h1fs="x-large"
var h2fs="large"
var h3fs="medium"
var semi=";"
var maxwidth=1024
var maxheight=768

if (version == "1") {
  if (screen.width<maxwidth||screen.height<maxheight) {
    zoomer=71
    stfs="xx-small"
    h1fs="large"
    h2fs="medium"
    h3fs="x-small" } }

if (version == "2") {
  var toolkit = java.awt.Toolkit.getDefaultToolkit();
  var screen_size = toolkit.getScreenSize();
  if (screen_size.width<maxwidth||screen_size.height<maxheight) {
    zoomer=71
    stfs="xx-small"
    h1fs="large"
    h2fs="medium"
    h3fs="x-small" } }

styleStr = "<STYLE TYPE='text/css'>"
styleStr += "body { font-size: " + stfs + semi + " }"
styleStr += "P { font-size: " + stfs + semi + " }"
styleStr += "table { font-size: " + stfs + semi + " }"
styleStr += "H1 { font-size: " + h1fs + semi + " }"
styleStr += "H2 { font-size: " + h2fs + semi + " }"
styleStr += "H3 { font-size: " + h3fs + semi + " }"
styleStr += "div { font-size: " + stfs + semi + " }"
styleStr += "</STYLE>";

document.write(styleStr);

styleStr = "<STYLE TYPE='text/css'>"
styleStr += "#zoom {"
styleStr += "zoom:" + zoomer + "%" + semi
styleStr += "width:100%" + semi
styleStr += "position:relative" + semi
styleStr += "}"
styleStr += "</STYLE>";

document.write(styleStr);

//-->