<!-- 
//***********************************************************************************
//***********************************************************************************
// 
// stylesheet.js
// 
// This script is used by the generated HTML content files to load one of three style 
// sheets, based on operating system, browser brand, and browser version.
// 
// 
//***********************************************************************************
//***********************************************************************************


if (navigator.platform != "Win32"){
     document.write('<LINK REL=STYLESHEET HREF="../support/silverstream_unix.css" TYPE="text/css">');
     }

else if (navigator.appName == "Netscape"){
     
     var majorVersion;
     majorVersion = navigator.appVersion.match(/^\d/);
          
          if (majorVersion.valueOf() < 5){
               document.write('<LINK REL=STYLESHEET HREF="../support/silverstream_netscape.css" TYPE="text/css">');
               }
          else {
               document.write('<LINK REL=STYLESHEET HREF="../support/silverstream.css" TYPE="text/css">');
               }
     }

else {
     document.write('<LINK REL=STYLESHEET HREF="../support/silverstream.css" TYPE="text/css">');
     }



//***********************************************************************************
//***********************************************************************************
// End of JavaScript code -->