/*
* This script contains Javascript for identifying the browser being used so
* that browser specific formatting may be employed to make the displayed page
* look as good as possible under each browser.
*/

/*****************************************************************************/

// Convert all characters to lowercase to simplify testing.
var Agent=navigator.userAgent.toLowerCase();

// Browser version.
var BrMajorVer = parseInt(navigator.appVersion);

// Note: Opera and WebTV spoof Navigator.  This does strict client detection.
var IsNav = ((Agent.indexOf('mozilla') != -1)
  && (Agent.indexOf('spoofer') == -1) && (Agent.indexOf('compatible') == -1)
  && (Agent.indexOf('opera') == -1) && (Agent.indexOf('webtv') == -1)
  && (Agent.indexOf('hotjava') == -1));
var IsNav4 = (IsNav && (BrMajorVer == 4));