/*
 * Detects needed info about the browser & platform, then links to the appropriate stylesheet.
 */
var sheet ='other.css';
var ua = navigator.userAgent;
if (ua.indexOf('MSIE') > -1){
	if (ua.indexOf('Mac') > -1){
		sheet='mac_ie.css';
	} else if (ua.indexOf('Win') > -1){
		sheet='win_ie.css';
	}
} else {
	if (ua.indexOf('Mac') > -1){
		sheet='mac_other.css';
	} else if (ua.indexOf('Win') > -1){
		sheet='win_other.css';
	}
}
document.write("<LINK REL=\"stylesheet\" TYPE=\"text/css\" HREF=\"../css/"+sheet+"\" TITLE=\"sheet\">");