if (is.win) 
  document.write("<LINK REL=stylesheet TYPE=text/css HREF=/gvu/gvu.css TITLE=gvuhome>")
else 
  if (is.mac) 
    document.write("<LINK REL=stylesheet TYPE=text/css HREF=/gvu/gvu.css TITLE=gvuhome>")
  else
    if (is.unix) 
      document.write("<LINK REL=stylesheet TYPE=text/css HREF=/gvu/unix.css TITLE=gvuhome>")
    else 
      document.write("<LINK REL=stylesheet TYPE=text/css HREF=/gvu/gvu.css TITLE=gvuhome>")