// **********************************************************************
// FUNCTION: whichCSS
//
// Detects Machine and Browser Type and sets the current CSS file
// **********************************************************************

  function whichCSS( )
  {
    var newStyleSheet = "<LINK REL=\"stylesheet\" TYPE=\"text/css\" HREF=\"/mouse_locator/StyleSheets/general.css\">";

    // alert( '  Your Browser has the following properties:\n' + '  navigator.userAgent = ' + navigator.userAgent + '\n\n' );

  document.write( newStyleSheet );

  } // END whichCSS