minsize=9;
maxsize=16;
actual=11;

function Mastexto(div){
actual = actual+1;
if (actual > maxsize) {
actual = maxsize
}
var divID = document.getElementById(div);
divID.style.fontSize = actual+"px";
}

function Menostexto(div) {
actual = actual-1;
if (actual < minsize) {
actual = minsize
}
var divID = document.getElementById(div);
divID.style.fontSize = actual+"px";

}