function hauteur() 
{ 
var hauteur=document.getElementById("text_accueil").offsetHeight; 

document.getElementById("trait").style.height=hauteur+"px"; 

}

function hauteur_rub() 
{ 
var hauteur=document.getElementById("text_rub").offsetHeight; 

document.getElementById("trait_rub").style.height=hauteur+"px"; 

}


function blink(ob)
{
	if (document.getElementById(ob).style.visibility == "visible" )
	{
		document.getElementById(ob).style.visibility = "hidden";
	}
	else
	{
		document.getElementById(ob).style.visibility = "visible";
	}
}