// General stuff, but mostly used in the drop downs
browserName=navigator.appName;
userPlatform = navigator.platform;

if (userPlatform.indexOf("Mac")!=-1){userPlatform = "Mac"}
if (browserName.indexOf("Netscape")!=-1){browserName="NS"}
if (browserName.indexOf("Microsoft")!=-1){browserName="MSIE"}


var dom = document.getElementsByTagName && !document.all;
var ie = document.all;
var nn4 = document.layers;
var opera = window.opera;

var spanArray = new Array();
var myDivArray = new Array();

var divWidth = 120;
var topButtonHeight = 20;
var bgOver = '';
var bgOff = '';
var textOff = '';
var textOver = '';
var imageOff = ' ';
var imageOver = ' ';
var hideDelay = 500;
var brTopOver    = 'white';
var brLeftOver  = 'white';
var brBottomOver = '#808080';
var brRightOver = '#808080';

// IE Mac - this doesn't seem to work
if (userPlatform == "Mac" && browserName == "MSIE"){
var x1Offset = 20; var x2Offset = 4;
var y1Offset = 100;  var y2Offset = 4;
}

// IE Windows
else if (ie && !opera){
var x1Offset = -5; var x2Offset = 2;
var y1Offset = 49; var y2Offset = 3;
}

// Gekko
else if (dom && !opera){
var x1Offset = 5;  var x2Offset = -1;
var y1Offset = -1; var y2Offset = 0;
}

// Opera
else if (opera){
var x1Offset = 1;  var x2Offset = 2;
var y1Offset = -3; var y2Offset = 8;
}

// this writes out bookmark links onto the page, if the browser supports them.
function pageTools() {
	// If the browser understands any of this
    if (window.external || window.sidebar || window.print) document.write('<ul id="pagetools">');
    // Print
    if (window.print) document.write('<li id="toolprint"><a href="#" onclick="window.print(); return false;">Print this page</a></li>' );
    // IE Bookmark
    if (window.external && !window.sidebar)
    	document.write('<li id="toolfav"><a href="#" onclick="window.external.AddFavorite(location.href, document.title);return false;">Bookmark this page</a></li>' );
    // Gekko bookmark
    if (window.sidebar) document.write('<li id="toolfav"><a href="#" onclick="window.sidebar.addPanel(document.title, location.href, \'\');return false;">Bookmark this page</a></li>' );
    if (window.external || window.sidebar || window.print) document.write('</ul>');
}