// JavaScript Document //

function SetActiveMenuItems()
{
	// Get each argument in turn
	for( i = 0; i < arguments.length; i++ )
	{
		// Get link element and change its class
		var linkElem = document.getElementById(arguments[i]);
		if( linkElem )
			linkElem.className = 'selected';
	}
	
	adjustCols();
}

function adjustCols() {
	var mb = document.getElementById("mainBodyText");
	if(document.getElementById("ctrCol")) {
		var cc = document.getElementById("ctrCol");
		var nh = mb.offsetHeight - 12;
		cc.style.minHeight = nh + "px";
		cc.style.height = nh + "px";
	}
}