  <!--
  
  /*
  
  800x600 screen resolution style adjustment
  
  */
  
  if (screen.width < 1024) {
    document.write("  <style type=\"text\/css\">\n"
      +"  div.head, div.left, div.foot, td {\n"
      + "    font-size: smaller;\n"
      + "    }\n"
      +"  <\/style>\n");
  //} else if (screen.width > 1024) {
    //document.write("  <style type=\"text\/css\">\n"
      //+"  div.head, div.left, div.foot, td {\n"
      //+ "    font-size: larger;\n"
      //+ "    }\n"
      //+"  <\/style>\n");
  } else {
    // ignore
  }
  
  //-->
