FUENTE_DEFAULT = 1;
FUENTE_ACTUAL = 1;
FUENTE_MASPEQUENA = 0.5;
FUENTE_MASGRANDE = 5;

function MasTxt(div) {
	FUENTE_ACTUAL = FUENTE_ACTUAL+0.1;
	if (FUENTE_ACTUAL > FUENTE_MASGRANDE) { FUENTE_ACTUAL = FUENTE_MASGRANDE }
	var divID = document.getElementById(div);
	divID.style.fontSize = FUENTE_ACTUAL+"em";
}
function MenosTxt(div) {
	FUENTE_ACTUAL = FUENTE_ACTUAL-0.1
	if (FUENTE_ACTUAL < FUENTE_MASPEQUENA) { FUENTE_ACTUAL = FUENTE_MASPEQUENA }
	var divID = document.getElementById(div);
	divID.style.fontSize = FUENTE_ACTUAL+"em";
}