/* ***************************************************************************
 * Ces fonctions associées à la fonction get_page_id définie dans utils.php
 * permettent de colorer les boutons du menu du blog (header_page)
*****************************************************************************/


/* colorer_bouton_menu colore en rouge clair, si la page correspond à un bouton du menu, le bouton
 *  dont l'id est reçu en paramètre. (en fait on donne l'id de la page en paramètre, et on récupère
 *  grâce à la fonction nom_page_du_menu l'id du bouton
 */ 
function colorer_bouton_menu(id_bouton){
	//alert(id_bouton);
	if (id_bouton!="aucun") {
		document.getElementById(id_bouton).style.background = "#8c100a";
	}
}
/* a chaque fois que l'on passe la souris sur un bouton, la fonction is_onmouseover est appelée
 * elle colore en rouge clair le bouton concerné
 */
function is_onmouseover(menu_page) {
	menu_page.style.background='#8c100a';
	menu_page.style.color='white'
}
/* a chaque fois que l'on enlève la souris d'un bouton, la fonction is_onmouseout est appelée
 * elle redonne au bouton sa couleur par défaut (rouge foncé) si la page auquelle envoit le bouton
 * n'est pas déjà ouverte
 */
function is_onmouseout(menu_page, id_bouton) {
	if (menu_page.id!=id_bouton) {
		menu_page.style.background='#590A05'; 
		menu_page.style.color='white'
	}	
}