// 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 <= 768) {
    //resolution is 1024x768 or less
    document.write("'fireworks.css'>");
  } else {
    document.write("'fireworks_big.css'>");
  }