Normal=8;
Pequena=7;
Grande=12;

function Mas(div) 
{
	var divID = document.getElementById(div);
    divID.style.fontSize = Grande+'pt';
}

function Menos(div)
{
	var divID = document.getElementById(div);
    divID.style.fontSize = Pequena+'pt';
}

function Norm(div)
{
	var divID = document.getElementById(div);
    divID.style.fontSize = Normal+'pt';
}