// -- menu -->	

    
function open_ext_link()
{
    
	var liens = document.getElementsByTagName('a');
	for( var i = 0 ; i < liens.length ; i++)
	{
	
		if(liens[i].className == 'lien_ext')
		{
		  
			liens[i].onclick = function()
			{
				window.open(this.href);
				return false;
			}
		}
	}


	
}



/*GESTION DU ZOOM */
/*GESTION DU ZOOM */
//gestion de l'agrandissemente de la police de caracteres (outil) 
var tailleTexte = 10;
//taille initial du text
var tailleInit = 12;
//taille maximum autorise 
var tailleMax = 17;
//nom de la div ou ce trouve les texte a agrandir
var divPrincipal = 'article';
/*@
    Fonction : changeTaille 
    Description : change la taille de la police d'un page
    Variable : pas (int) -> Valeur indiquant de combien de pixel la taille doit etre diminue ou
                        augmenter (souvent -1 ->diminution ou 1 -> augmentation) 
    
@*/
function changeTaille(pas)
{
  //determine si on veut changer de la taille de la poilce ou non (en rapport au taille max et initial defini)     
  var changeSize = true;
  
  tailleTexte = tailleTexte + pas;
    
  //on va verifier si la taille du texte n'est pas inferieur a la taille minimum
  if (tailleTexte < tailleInit)
  {
        //si la taille minumm a ete atteinte, on remet notre tailleTexte a la taille minumum, et
        //on considereque ce n'est pas la peine de changer la taille des element
        tailleTexte = tailleInit;
        changeSize = false;
   
  }        
  else
  {
        //cette fois ci on verifier que la taille maximum n'a ete atteinte
        if (tailleTexte > tailleMax)
        {
            tailleTexte = tailleMax;
            changeSize = false;
        }
  }
  
  //si changesize est true, c partie on change la taille de la police !!
  if (changeSize)
  {
      var text = document.getElementById(divPrincipal);
      
      //ici on va changer la taille de tout les p de la page
      //ICI ON MET TOUT LES TAGS QUI N'AUGMENTE PAS CA TAILLE AVEC LA SIMPLE INSTRUCTION 
      // text.style.fontSize = tailleTexte + 'px';
      
      updateTaille(text,'p',tailleTexte)
	  updateTaille(text,'li',tailleTexte)
      updateTaille(text,'h6',tailleTexte)
      
      //on rajoute quand meme cette ligne pour augmenter d'autre element
      text.style.fontSize = tailleTexte + 'px';

  }
 
}

/*@
    Fonction  : updateTaille 
    Description : Change la taille des bloc d'une page(fonction appele dans changeTaille)
    Variables : - > divParent(object) : div de notre page pour laquel on veux changer la taille du texte
                - > tag (text) -> : tag html de l'element qui fera l'objet d'un changement de taille 
                              (ex : p, si l'on veut changer la taille de tout les p)
                - > tailleText : taille du texte
@*/

function updateTaille(divParent,tag,tailleTexte)
{

        //determine si on veut changer de la taille de la poilce ou non (en rapport au taille max et initial defini)  
        var changeSize = true;
        
        //on va augmenter la taille de tout ce qui ce trouve dans p
        var textPart = divParent.getElementsByTagName(tag);
        for (var i = 0; i < textPart.length; i++) 
        {
            textPart[i].style.fontSize = tailleTexte + 'px';
        }  
}


/**
 *  Ajoute un editeur a la page
 */ 
function showEditor(div_id)
{
	tinyMCE.execCommand('mceAddControl', false, div_id);
    
}

/**
 * Enregsitrement de tinymce des element de tinymce
 */ 
function saveEditor(div_id)
{
    //on ce position dans l'editeur que l'on veut enregistrer (necessaire pour avoir le activeEditor)
    tinyMCE.execCommand('mceFocus', false, div_id);
    
    //cf tinymce.php pour voir le detail de cette fonction
    postForm();
}