if (document.all){ // Explorer
  document.write("<link rel='stylesheet' href='stilegreenex.css' type='text/css'>"); 
}