// JavaScript Document
var intFontSize = 14;
function fncTrocaFontSize(strSinal) {
if (strSinal == "+") {
intFontSize += 2;
} else {
intFontSize -= 2;
}
objDiv = (document.getElementById("body") || (document.getElementById("texto"))) ;
objDiv.style.fontSize = intFontSize + "px";
}