/* Tamaņo fuentes */
var factual = 11;
var fsmallest = 8;
var flargest = 16;

function aumentarFontSize(l){
	factual = (factual >= flargest) ? flargest : factual + 1;
	var lay = document.getElementById(l);
	lay.style.fontSize = (factual + 1) + "px";
	lay.style.lineHeight = (factual + 3) + "px";
}

function reducirFontSize(l){
	factual = (factual <= fsmallest) ? fsmallest : factual - 1;
	var lay = document.getElementById(l);
	lay.style.fontSize = (factual + 1) + "px";
	lay.style.lineHeight = (factual + 3) + "px";
}