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


  if (window.screen.width == 1280) {
    //resolution is 1280
    document.write("<link rel='stylesheet' type='text/css' href='./css/maroon1280.css'>");
  }