//* check for browser, and change stylesheet if needed

//* Change style sheet. FF uses font-size-adjust, not implemented elsewhere. Defaut is IE version
//* this code assumes all CSS files co-located and just replaces file name at end of CSS HREF
//* checked via www.jslint.com but Chrome doesn't like[] notation for new Array
//* zero (fallback) provides IE version

var ag = navigator.userAgent;
var browsers = new Array();
var css = new Array();
var i = 0, browserIndex = 0, ssIndex;
var lnks = document.getElementsByTagName('link'), lnk, nl = lnks.length;
var type, newss, j, ssIndex;

//* long string including a browser name. Both Safari and Chrome strings include both names.
//* Newer versions of Internet Explorer have MSIE instead of Internet Explorer

browsers[0] = "Undefined";
browsers[1] = "MSIE";
browsers[2] = "Internet Explorer";
browsers[3] = "Firefox";
browsers[4] = "Safari";
browsers[5] = "Chrome";

css[0] = "ie";
css[1] = "ie";
css[2] = "ie";
css[3] = "ff";
css[4] = "sc";
css[5] = "sc";

while (i <= 99) {
   pos = ag.indexOf(browsers[i]);
   if (pos < 0) {
      i++;
   } else {
      browserIndex = i;
      i = 99;
   }
}

newss = css[browserIndex];

for (j = 0; j <= nl ; j++) {
   type = lnks[j].getAttribute("rel");
   if (type == "stylesheet") {
      ss = lnks[j].getAttribute("title");
      lnks[j].disabled = true;
      if (ss == newss) {
         lnks[j].disabled = false;
      }
   }
}