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


if (window.screen.width <= 800) {
    document.write("<link rel='stylesheet' type='text/css' href='css/small.css'>");
} 
else {
    document.write("<link rel='stylesheet' type='text/css' href='css/normal.css'>");
  }