var bouton = new Array("nav","exp","nou","cri","con","ctn","rec")
var encours= ''
function mise_blanc()
{
	
	for (i=0; i<bouton.length; i++)
	{
	/*
		On ne met en gris tous les boutons sauf celui du menu encours
	*/
	if (bouton[i] != encours)
		{
		document.getElementById(bouton[i]).style.color="#D8D8D8";
		}
	}
}

function mise_gras(champ)
{
 	mise_blanc();
	if ( champ != encours )
	{
		document.getElementById(champ).style.color="#606060";
	}
}
function mise_noir(champ)
{
	encours = champ;
	document.getElementById(champ).style.color="#000000";
}