// choose_css.js
  // -------------
  // choose the appropriate stylesheet according to
  // the user's screen resolution

  document.write(“<link rel='stylesheet' type='text/css' href='“);

  if (window.screen.height <= 600) {
    //resolution is 800x600 or less
    document.write(“<link href="../ohf.css" rel="stylesheet" type="text/css"> <a name="top"></a><table width="800" border="0">“);
  } else {
    document.write(“<link href="../ohf.css" rel="stylesheet" type="text/css"> <a name="top"></a><table width="800" border="0">“);
  }