<!--

function GoTo(thisURL) {
     self.location = thisURL;
}
function OpenWindow(thisURL) {
	var myWin = window.open(thisURL,"Glossary","menubar=yes,toolbar=yes,scrollbars=yes,resizable=yes,width=550,height=550");
focus();
}


// code to choose an alternate more appropriate style sheet for smaller screen sizes

// (Variable names different here to frames_body_array.js so there is no conflict)
// browser test:
browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
if (browserName == "Netscape" && browserVer >= 4 || browserName == "Microsoft Internet Explorer" && browserVer >= 4)
   ver = "1";
else if (browserName == "Netscape" && browserVer >= 3)
   ver = "2";
else
   ver = "3";

   var correctwidthB=1020   // vars for this test alone
   var correctheightB=760

if (ver == "1") {
   if (screen.width<correctwidthB||screen.height<correctheightB) {
      document.write('<link rel="stylesheet" type="text/css" href="style_small_scrn.css">\n')    // use adapted style sheet
      }
   else
      document.write('<link rel="stylesheet" type="text/css" href="styles.css">\n') // use original style sheet
   }

if (ver == "2") {
   var toolkit = java.awt.Toolkit.getDefaultToolkit();
   var screen_size = toolkit.getScreenSize();
   if (screen_size.width<correctwidthB||screen_size.height<correctheightB) {
      document.write('<link rel="stylesheet" type="text/css" href="style_small_scrn.css">\n')    // use adapted style sheet
      }
   else
      document.write('<link rel="stylesheet" type="text/css" href="styles.css">\n') // use original style sheet
   }

if (ver == "3") {
   document.write('<link rel="stylesheet" type="text/css" href="style_small_scrn.css">\n') // leave as original style sheet
   }

// -->