<!--
	var menuCts = new Object();
	menuCts['backgroundColor'] = new miColorTransformer("#E6E6DC", "#CFCFBC");
	menuCts['color'] = new miColorTransformer("#000000", "#6699FF");
	var menuFaders = new Object();

	function menuMouseOver(id)
	{
		if(!menuFaders[id + "_bg"] || !menuFaders[id + "_fg"])
		{
			menuFaders[id + "_bg"] = new miFader(id, menuCts['backgroundColor'], 'backgroundColor', 8);
			menuFaders[id + "_fg"] = new miFader(id, menuCts['color'], 'color', 8);
		}

		menuFaders[id + "_bg"].fade(true);
		menuFaders[id + "_fg"].fade(true);
	}
	
	function menuMouseOut(id)
	{
		if(!menuFaders[id + "_bg"] || !menuFaders[id + "_fg"])
			return;
			
		menuFaders[id + "_bg"].fade(false);
		menuFaders[id + "_fg"].fade(false);
	}
//-->