/* Hightlight current item in Menu */

var aHighlightColor = '#06F';	// this is hard coded to match style sheet
var aHighlightSize = '16px';

function menuHighlight (menuId)
{
	
	var menuItem = document.getElementById (menuId);

	menuItem.style.color = aHighlightColor;
//	menuItem.style.fontSize = aHighlightSize;
	return;	
}