<!--
// GENERAL JAVASCRIPT CODE FOR SITE

// PLATFORM - BROWSER DETECT FOR STYLE SHEET INCLUSION
var uAgent=navigator.userAgent.toLowerCase(); 
var version = parseInt(navigator.appVersion); 
var is_nav  = ((uAgent.indexOf('mozilla')!=-1) && (uAgent.indexOf('compatible') == -1) && (uAgent.indexOf('spoofer')==-1));
var is_nav4 = (is_nav && (version >= 4 && version < 5));
var is_win   = ( (uAgent.indexOf("win")!=-1) || (uAgent.indexOf("16bit")!=-1) );

//  Choose correct CSS  
var cssName;
// if browser is netscape and platform is pc then we load styles_pcnav.css
if ((is_nav4 && is_win)){
	cssName = pathPrefix + "js/styles_pcnav.css";
// for all other combos, we load styles_def.css
} else {
	cssName = pathPrefix + "js/styles_def.css";
}
document.write('<link rel="stylesheet" type="text/css" href="' + cssName + '">');


// PAGE FUNCTIONS

// Use some MM code for Nav4 page resize
function MM_reloadPage(init) { 
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

//-->
