//* check for browser, and change stylesheet if it's IE

var browser = navigator.appName;
var ss = document.styleSheets[0], url = document.URL;
var css, newss, ch;
var j, len;

//* if browser is Internet Explorer, change style sheet. This code makes assumptions
//* about directory structure and file placement, and this is the version to be used
//* in level 1 files

if (browser=="Microsoft Internet Explorer") {
   len = url.length;
   j = len-1;
   while (url.substring(j-1,j) !== "/") {j = j-1};
   newss = url.substring(0,j)+"script/isweb-ie.css";
   document.styleSheets[0].href=newss
};