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+"'>");
  }