var tamanhofontetop = 11;
function FontSizeTop()

{
var el, n = 1;
while (el = document.getElementById('TextoTop' + n++))
el.style.fontSize = tamanhofontetop + 'px';
return false;
}

function aumentaTop()
{
if (tamanhofontetop < 20) 
tamanhofontetop = tamanhofontetop + 3;
return FontSizeTop();
}

function diminuiTop()
{
if (tamanhofontetop > 11) 
tamanhofontetop = tamanhofontetop - 3;
return FontSizeTop();
}

var tamanhofonteinf = 7;
function FontSizeInf()

{
var elInf, n = 1;
while (elInf = document.getElementById('TextoInf' + n++))
elInf.style.fontSize = tamanhofonteinf + 'pt';
return false;
}

function aumentaInf()
{
if (tamanhofonteinf < 13) 
tamanhofonteinf = tamanhofonteinf + 2;
return FontSizeInf();
}

function diminuiInf()
{
if (tamanhofonteinf > 7) 
tamanhofonteinf = tamanhofonteinf - 2;
return FontSizeInf();
}