// JavaScript Document
/*
The following bit of script checks to see if document.all is present, but
document.getElementById is not. If this is the case it then assigns a new
function to document.getElementById that wraps around document.all
*/
if(document.all && !document.getElementById) {
document.getElementById = function(id) {
return document.all[id];
}
}
// loads style sheets for page. can be called unlimited times for different files.
// function auto detects which it should use.
function loadcss(iecss,nncss) {
if (navigator.appName == "Microsoft Internet Explorer") {
nav = "ie";
} else {
nav = "nn";
}
if(nav == "nn") {
document.write('');
} else {
document.write('');
}
}