// Function to load the browser-specific style sheet
function LoadStyles(){
    if (navigator.appName.indexOf('Netscape') != -1) {
       if (navigator.appVersion.substr(0,1) > 3)
          document.write ('<link rel="stylesheet" href="/css/masterstyle.css">'); 
    }
    if (navigator.appName.indexOf('Microsoft') != -1) {
       if (navigator.appVersion.substr(0,1) > 3)
          document.write ('<link rel="stylesheet" href="/css/masterstyle.css">'); 
    }
}
 
// function to submit the "search" form
function gosrch(){
      document.frmsrch.submit();
}

// Handle buggy resize in Netscape Navigator
function reDo(){ window.location.reload() }
function setResize(){setTimeout("window.onresize=reDo",500);}

var agt=navigator.userAgent.toLowerCase();
var is_major = parseInt(navigator.appVersion);
var is_nav = ((agt.indexOf('mozilla') != -1) &&
   (agt.indexOf('spoofer') == -1) &&
   (agt.indexOf('compatible') == -1));
var is_nav4 = (is_nav && (is_major == 4));
if (is_nav4) {window.onload = setResize;}


// Go load the appropriate style sheet links
LoadStyles()