// 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 > 12){
		factual--;
		setFuentes(factual,texto);
	}
}
function setFuentes(fontactual,idtexto){
	var lay = document.getElementById(idtexto);
	try{
		lay.style.fontSize = fontactual;
		lay.style.lineHeight = (fontactual + 3) + "px";
	}catch(e){
		//alert(e.description  + " | " + fontactual + " | " + idtexto)
	}
}