// Fonction permettant le changement de couleur d'un input ayant le focus
function setColor(id) {
    document.getElementById(id).style.background = '#FFFCE5';
}

// Fonction réinitialisant la couleur initiale d'un input n'ayant plus le focus
function resetColor(id) {
    document.getElementById(id).style.background = '#FFFFFF';
}

function toc_toggle()
{
	var toc_liste = document.getElementById("toc_liste");
	var toc_image = document.getElementById("toc_image");
  if (toc_liste.className == "toc_show")
  {
    toc_liste.className = "toc_hide";
    toc_image.src = "/images/design/toggle-show.png";
  }
  else
  {
    toc_liste.className = "toc_show";
    toc_image.src = "/images/design/toggle-hide.png";
  }
}