// Provide a wrapper for document.all.
if(document.all && !document.getElementById) {
    document.getElementById = function(id) {
         return document.all[id];
    }
}

function DefaultOnLoad(strHomeLink)
{
	NullCurrentLink(strHomeLink);
}

function NullCurrentLink(strHomeLink)
{
	if(!document.getElementById) return;
	
	// This should remove the hyperlink for the current page from the menubar.
	var strColor = "#d3d3d3";
	var objLink =  document.getElementById(strHomeLink);

	if(!objLink.style) return;

	objLink.parentNode.style.backgroundColor = strColor;
	objLink.style.backgroundColor = strColor;
	objLink.style.textDecoration = "none";
}

function changeFontSizeForTag(strTag, strUpDOwn){ 
	var intNewSize;
	var cintDefSize = 10;
	var aParas = document.body.getElementsByTagName(strTag);
	for (i = 0; i < aParas.length; i++) {	
		var intCurSize = parseInt(aParas[i].style.fontSize);
		if (isNaN(intCurSize)) intCurSize = cintDefSize;
		if(strUpDOwn == "+") { 
			intNewSize = intCurSize + 1; 
		} else { 
			intNewSize = intCurSize - 1; 
		} 
		aParas[i].style.fontSize = intNewSize + 'pt'; 
	}
	return
} 

function changeFontFamilyForTag(strTag, strType){ 
	
	var cstrSanSerif = 'Verdana, Arial, Helvetica, sans-serif, "MS sans serif"'
	var cstrSerif = '"Times New Roman", Times, serif'
	var strNewFamily
	if (strType == 'serif') strNewFamily = cstrSerif
	else strNewFamily = cstrSanSerif
	var aParas = document.body.getElementsByTagName(strTag);
	for (i = 0; i < aParas.length; i++) {	
		aParas[i].style.fontFamily = strNewFamily; 
	}
	return
}