// JavaScript Document/* Tamaņo fuentes */
var factual = 15;
//window.onload=function(){ setFuentes('13','texto2'); }

function aumentarFontSize(texto){
	if (factual < 20 ){
		factual++; 
		setFuentes(factual,texto);
	}
}

function reducirFontSize(texto){
	if (factual > 13){
		factual--;
		setFuentes(factual,texto);
	}
}
function setFuentes(fontactual,idtexto){
	var lay = document.getElementById(idtexto);
	try{
		lay.style.fontSize = (fontactual + 2) + "px";
		lay.style.lineHeight = (fontactual + 8) + "px";
	}catch(e){
		//alert(e.description  + " | " + fontactual + " | " + idtexto)
	}
}