function highlight( obj )
{
	obj.style.color = "black";
	obj.style.fontWeight = 900;
}

function normal( obj )
{
	obj.style.color = "darkblue";//"white";
	obj.style.fontWeight = 500;
}