/**
 * Loads optional CSS stylesheets when the platform requires.
 * 
 * I need this because I can't find a decent Courier font for Windows and I like
 * my Mac one.  Also allows me to *try* to work on mobile phones.
 */

var optionalCss;
var isWindows = true; // a fair assumption
var isMac = false;
var isLinux = false;
var isMobile = false;

// try to guess the platform and general things about the current client
if (navigator.platform.indexOf("Win32") != -1) {
	optionalCss = "stylesheet-win.css";
	isWindows = true;
	isMac = false;
	isLinux = false;
	isMobile = false;
}
else if (navigator.platform.indexOf("Mac") != -1) {
	optionalCss = null;
	isWindows = false;
	isMac = true;
	isLinux = false;
	isMobile = false;
}
else if (navigator.platform.indexOf("Linux") != -1) {
	optionalCss = "stylesheet-linux.css";
	isWindows = false;
	isMac = false;
	isLinux = true;
	isMobile = false;
}
else if (navigator.platform.indexOf("Unix") != -1) {
	optionalCss = "stylesheet-linux.css";
	isWindows = false;
	isMac = false;
	isLinux = true;
	isMobile = false;
}
else if (navigator.platform.indexOf("PalmOS") != -1) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}

// Round 2 (try to catch all those pesky mobile devices) ...
if (navigator.userAgent.indexOf("MIDP") != -1) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}
else if (navigator.userAgent.indexOf("Windows CE") != -1) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}
else if ((navigator.userAgent.indexOf("Samsung") != -1) || (navigator.userAgent.indexOf("SAMSUNG") != -1) || (navigator.userAgent.indexOf("SMH-") != -1)) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}
else if ((navigator.userAgent.indexOf("Motorola") != -1) || (navigator.userAgent.indexOf("MOT-") != -1)) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}
else if (navigator.userAgent.indexOf("Symbian") != -1) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}
else if (navigator.userAgent.indexOf("Nokia") != -1) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}
else if (navigator.userAgent.indexOf("BlackBerry") != -1) {
	optionalCss = "stylesheet-mobile.css";
	isWindows = false;
	isMac = false;
	isLinux = false;
	isMobile = true;
}

if (optionalCss) {
	document.write("<link rel=\"stylesheet\" href=\"/"+ optionalCss +"\" />");
}