// JavaScript Document

var fuente =12

function aumentar(){
fuente = fuente + 1
if (fuente > 20)
{
fuente=20
}
aumento_fuente = fuente+"px"
document.getElementById("marco").style.fontSize=aumento_fuente;

}

function disminuir(){
fuente = fuente - 1
if (fuente < 8)
{
fuente=8
}
disminuir_fuente = fuente+"px"
document.getElementById("marco").style.fontSize=disminuir_fuente;



}