<!--
// style.js
// selects browser style sheet dependant on platform and browser version

var plat;
var br;

if ((navigator.appVersion.indexOf("Macintosh")) != -1) {
	plat = "mac";
} else if ((navigator.appVersion.indexOf("Win")) != -1) {
	plat = "pc";
} else {
	plat = "unk";
}

if ( (navigator.appName == "Microsoft Internet Explorer") && (navigator.appVersion.indexOf('MSIE 6') != -1)) {
	br = "ie6";
} else if ( (navigator.appName == "Microsoft Internet Explorer") && (navigator.appVersion.indexOf('MSIE 5') != -1)) {
	br = "ie5";
} else if ( (navigator.appName == "Microsoft Internet Explorer") && (navigator.appVersion.indexOf('MSIE 4.5') != -1)){
	br = "ie4.5";
} else if ( (navigator.appName == "Microsoft Internet Explorer") && (navigator.appVersion.indexOf('MSIE 4') != -1)){
	br = "ie4";
} else if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) <= 3 )) {
	br = "ie3";
} else if ((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 5)) {
	br = "ns6";
} else if ((navigator.appName == "Netscape") && (navigator.appVersion.indexOf(4) != -1)) {
	br = "ns4";
} else {
	br = "unk";
}

document.write('<link rel="stylesheet" href="/css/' + plat + br + '.css" type="text/css"/>');


function report()
{
document.write (plat + br);
}
//-->


