function increaseFontSize(elem) {
   var p = document.getElementById(elem);
	  if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
	  
	  if(s < 18){
         s += 1;
	  }
      p.style.fontSize = s+"px";
}
function decreaseFontSize(elem) {
   var p = document.getElementById(elem);
	  if(p.style.fontSize) {
         var s = parseInt(p.style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
	  
	  if(s > 9){
         s -= 1;
	  }
      p.style.fontSize = s+"px";
}

//////////////////////////////////////////////////////////////////////////////////////////////////////////

// JavaScript Document

  // Altera o tamanho da fonte utilizando-se das classes do CSS.
  // Cada tamanho deverá ter uma classe no CSS, específico para a fonte.
  // function sizeFont (nivel, elem)
  // {
      // document.getElementById(elem).className = "nivel"+nivel;
  // }

  // Altera o tamanho da fonte até um determinado limite.
  // Não é necessário CSS para este script funcionar.
  // function sizeFont2 (elem, acao)
  // {
      // tamanho inicial da fonte (em px)
      // var tamInic = 15;
      
      // Tamanho mínimo da fonte (em px)
      // var tamMin = 11;
      
      // Tamanho máximo da fonte (em px)
      // var tamMax = 19;

      // Pega o tamanho da fonte. Se não foi setada ainda (primeira vez
      // que a função é executada) terá como tamanho padrão 'tamInic'.
      // if (document.getElementById(elem).style.fontSize == "") 
        // var tamFonte = tamInic;
      // else
        // var tamFonte = parseInt(document.getElementById(elem).style.fontSize);
      // switch (acao)
      // {
        // Aumenta o tamanho, enquanto foi menor que 'tamMax'
        // case '+':
          // if (tamFonte < tamMax)
            // document.getElementById(elem).style.fontSize = (tamFonte + 2) + "px";
        // break;
        
        // Diminui o tamanbo, enquanto for maior que 'tamMin'
        // case '-':
          // if (tamFonte > tamMin)
            // document.getElementById(elem).style.fontSize = (tamFonte - 2) + "px";
        // break;
      // }
  // }