function mudaFonte (name, acao)
{
	var el = document.getElementById (name);

    // tamanho inicial da fonte (em px)
    var tamInic = 11;

    // Tamanho mínimo da fonte (em px)
    var tamMin = 9;

    // Tamanho máximo da fonte (em px)
    var tamMax = 17;

    if (el.style.fontSize == "")
      var tamFonte = tamInic;
    else
      var tamFonte = parseInt(el.style.fontSize);
    switch (acao)
    {
      // Aumenta o tamanho, enquanto foi menor que 'tamMax'
      case '+':
        if (tamFonte < tamMax)
        {
          	el.style.fontSize = (tamFonte + 2) + "px";
	     }
      break;

      // Diminui o tamanho, enquanto for maior que 'tamMin'
      case '-':
         if (tamFonte > tamMin)
         {
          	el.style.fontSize = (tamFonte - 2) + "px";
		 }
      break;
    }
}