/*
 * Will only be used by whichCSS function
 */
function whichBrs() 
{

  var agt=navigator.userAgent.toLowerCase();

  if (agt.indexOf("opera") != -1) 
    return 'Opera';

  if (agt.indexOf("firefox/3") != -1) 
    return 'Firefox3';

  if (agt.indexOf("firefox") != -1) 
    return 'Firefox';
 
  if (agt.indexOf("safari") != -1) 
    return 'Safari';

  if (agt.indexOf("msie") != -1) 
    return 'IE';
 
  if (agt.indexOf("netscape") != -1) 
    return 'Netscape';

  if (agt.indexOf("mozilla/5.0") != -1) 
    return 'Mozilla';

  if (agt.indexOf(' ') != -1)
    return navigator.userAgent.substr(0,agt.indexOf(' '));
  else 
    return navigator.userAgent;
}
  
/*
 * Used to determine which CSS should be used, 
 * depending on the browser and screen resolution
 */
function whichCSS()
{
  var browser = whichBrs();
  var width = screen.width
  var height = screen.height;
  var css_name;

  if (browser == 'IE' && width >= '1024') {
    css_name = 'mtr.css';
  }
  else if (browser == 'Firefox3' && width >= '1024'){
	  css_name = 'mtr_firefox3.css';
  }
  else if (browser == 'Firefox' && width >= '1024') {
    css_name = 'mtr_firefox.css';
  }
  else if (browser == 'Firefox3' && width <= '800'){
	  css_name = 'mtr_firefox3.css';
  }
  else if (browser == 'Firefox' && width <= '800') {
    css_name = 'mtr_firefox_800.css';
  }
  else if (browser == 'Safari') {
    css_name = 'mtr_firefox3.css';
  }  
  else {
    /* by default */
    css_name = 'mtr_firefox.css';
  }
  
  //alert("(debug info) css used + "+css_name);
  return css_name; 
}