// JavaScript Document
var activeStylesheet = "the default stylesheet";
// Netscape-4 on Macintosh requires a special style sheet.
if ((navigator.platform.indexOf('Mac') != -1) && (navigator.appName == "Netscape") && (parseInt(navigator.appVersion.charAt(0)) <= 4)) {
document.write('<link rel="stylesheet" href="/styles/mac47.css">');
activeStylesheet = "mac47.css";
// Otherwise, use the Windows style sheet.
} else{
document.write('<link rel="stylesheet" href="/styles/basic.css">');
activeStylesheet = "basic.css";
}