<!--
  if (((is_nav4) && (is_unix))  || ((is_gecko) && (is_unix)))
  {
   document.write('<link rel="stylesheet" type="text/css" href="/styles/ns_unix.css">'); 
  }
   else if (is_nav4) 
  {
   document.write('<link rel="stylesheet" type="text/css" href="/styles/ns.css">');  
  }  
   else
  {
  document.write('<link rel="stylesheet" type="text/css" href="/styles/ie.css">');
  }
//-->