var browsertype;
 if (navigator.appName.substring(0,3)=="Mic") {
  browsertype = "style_ie";
 }
 else if (navigator.appName.substring(0,3)=="Net") {
  browsertype = "style_ns";
 }
 document.writeln("<link rel='STYLESHEET' type='text/css' href='/scripts/" + browsertype + ".css'>");