function letra() {

var valor_inicial = "12px";


document.getElementById("corpo").style.fontSize = valor_inicial;
}


function tamanhofonte(op) {

var incremento = 2;  

var local_alterado = document.getElementById("corpo").style.fontSize;

local_alterado = parseInt(local_alterado.replace(/px/,""));

if (op == "mais") {
local_alterado += incremento;
} else {
local_alterado -= incremento;
}

document.getElementById("corpo").style.fontSize = local_alterado + 'px';

}