TAILLEFONTE

// 
// Tiger-222, Mai 2009.
// 
// Description :
//	Changer la taille du texte sans recharger la page.
//
// Utilisation :
// 	<span onClick="tailleFonte('+');"> Augmenter </span>
//	<span onClick="tailleFonte(0);"> Rétablir </span>
//	<span onClick="tailleFonte('-');"> Diminuer </span>
//
function tailleFonte(modif)
{
	var reset 	= 11;	// Taille par défaut
	var min 	= 8;	// Taille minimale
	var max 	= 16;	// Taille maximale
	var actuelle 	= 0;	// Taille actuelle
	var nouvelle 	= 0;	// Nouvelle taille
	
	// Récupération de la taille actuelle :
	if ( window.getComputedStyle )
	{ 
		actuelle = window.getComputedStyle(document.body,null).fontSize;
	}
	else
	{
		actuelle = document.body.currentStyle.fontSize;
	}
	
	// Suppression du suffixe 'px' :
	actuelle = actuelle.substring(0, (actuelle.length - 2));
	
	// Détermination de la nouvelle taille :
	if ( modif === 0 && actuelle !== reset )
	{
		document.getElementsByTagName('body')[0].style.fontSize = reset + 'px';
	}
	else if ( modif == '+' && actuelle < max && actuelle !== reset )
	{
		nouvelle = new Number(actuelle) + 1;
		document.getElementsByTagName('body')[0].style.fontSize = nouvelle + 'px';
	}
	else if ( modif == '-' && actuelle > min && actuelle !== reset )
	{
		nouvelle = new Number(actuelle) - 1;
		document.getElementsByTagName('body')[0].style.fontSize = nouvelle + 'px';
	}
}