<!--
FUENTE_DEFAULT = 7;
FUENTE_ACTUAL = 7;
FUENTE_MASPEQUENA = 6;
FUENTE_MASGRANDE = 9;

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