//===================================================
// browser.js
//
// Determines browser, platform
//
// String values from http://developer.netscape.com/docs/examples/javascript/browser_type.html
//===================================================

var IE = (navigator.appName == "Microsoft Internet Explorer");
var Mozilla = (navigator.userAgent.indexOf("Gecko") > -1);
var Gecko = Mozilla;
var Opera = (navigator.userAgent.indexOf("Opera") > -1);
var NN4 = (navigator.userAgent.indexOf("Mozilla/4") == 0) && !IE && !Opera && !Gecko;

var styleSheet = "style.css";
if (Opera) 
	styleSheet = "opera.css";
else if (Gecko)
	styleSheet = "gecko.css";
else if (!IE && !Gecko && navigator.userAgent.indexOf("Mozilla") == 0)
	styleSheet = "nn4.css";

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