var userstring;

userstring=navigator.userAgent;

// determine which style to use:
if (userstring.indexOf("Opera") >= 0) {
	document.writeln ("<link rel=\"Stylesheet\" rev=\"Stylesheet\" href=\"styles/nav_opera.css\" type=\"text/css\" media=\"screen\" charset=\"iso-8859-1\" />");
}
else if ((userstring.indexOf("MSIE") >= 0) && (userstring.indexOf("Mac_PowerPC") >= 0)) {
	document.writeln ("<link rel=\"Stylesheet\" rev=\"Stylesheet\" href=\"styles/nav_ie-mac.css\" type=\"text/css\" media=\"screen\" charset=\"iso-8859-1\" />");
}
else if ((userstring.indexOf("MSIE") >= 0) && (userstring.indexOf("Mac_PowerPC") < 0)) {
	document.writeln ("<link rel=\"Stylesheet\" rev=\"Stylesheet\" href=\"styles/nav_ie6.css\" type=\"text/css\" media=\"screen\" charset=\"iso-8859-1\" />");
}
else if (userstring.indexOf("Firefox") >= 0) {
	document.writeln ("<link rel=\"Stylesheet\" rev=\"Stylesheet\" href=\"styles/nav_fox.css\" type=\"text/css\" media=\"screen\" charset=\"iso-8859-1\" />");
}
else {
	document.writeln ("<link rel=\"Stylesheet\" rev=\"Stylesheet\" href=\"styles/nav_other.css\" type=\"text/css\" media=\"screen\" charset=\"iso-8859-1\" />");
}