var stylefile="style.css";



if(is_mac || is_unix)

  stylefile="style_mac.css";

else if(is_win && is_nav4up)

  stylefile="style_moz.css";

else if(is_win)

  stylefile="style_win.css";





if(stylefile!="")

  {

//*** f¸r testzwecke

//  alert("loading '"+stylefile+"'");

  document.writeln("<link rel=stylesheet type='text/css' href='"+stylefile+"'>");

  }