<!-- Tamanho da Fonte TXT
var tamanho = 13;
function aumentaTexto()
{
  var texto = document.getElementById('texto');
  var novoTamanho = tamanho+2;
    if (novoTamanho < 24)
     {
      tamanho = novoTamanho;
      texto.style.fontSize = novoTamanho;
     }
}
function diminuiTexto()
{
  var texto = document.getElementById('texto');
  var novoTamanho = tamanho-2;
    if (novoTamanho > 6)
    {
     tamanho = novoTamanho;
     texto.style.fontSize = novoTamanho;
    }
}