var tgs = new Array( 'li' ); //pega todas as tags <li> //

//Especificação para diferentes tipos de fontes
var szs = new Array( 'xx-small','x-small','small','medium','large','x-large','xx-large' );
var startSz = 2;
   
function mudaFonteCol( trgt,inc ) {

var notas;
for (i=0; i<document.getElementsByTagName('ul').length; i++) {
	if (document.getElementsByTagName('ul')[i].className == "notas") notas = i;
}
var tamInicial = document.getElementsByTagName('ul')[notas].offsetHeight;
	
if (!document.getElementById) return
var d = document,cEl = null,sz = startSz,i,j,cTags;
sz += inc;
if ( sz < 0 ) sz = 0;
if ( sz > 4 ) sz = 4;
startSz = sz;
if ( !( cEl = d.getElementById( trgt ) ) ) cEl = d.getElementsByTagName( trgt )[ 0 ];

cEl.style.fontSize = szs[ sz ];

for ( i = 0; i < tgs.length; i++ ) {
cTags = cEl.getElementsByTagName( tgs[ i ] );
for ( j = 0; j < cTags.length; j++ ) cTags[ j ].style.fontSize = szs[ sz ];
}

var tamFinal = document.getElementsByTagName('ul')[notas].offsetHeight;
if (inc == '1') ajustaTamanhosFonte('+', tamFinal - tamInicial);
if (inc == '-1') ajustaTamanhosFonte('-', tamInicial - tamFinal);

}

function mudaFonte (elem, acao)
{
    //tamanho inicial da div.fonte
    var fonte = document.getElementById('fonte'); 
	var tamFonteInicial = fonte.offsetHeight; 
	
    // tamanho inicial da fonte (em px)
    var tamInic = 13;
    
    // Tamanho mínimo da fonte (em px)
    var tamMin = 9;
    
    // Tamanho máximo da fonte (em px)
    var tamMax = 17;

    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";
		  
		  fonte = document.getElementById('fonte'); 
	      tamFonte = fonte.offsetHeight;
		  diferenca = tamFonte - tamFonteInicial;
		  ajustaTamanhosFonte('+', diferenca); }
      break;
      
      // Diminui o tamanho, enquanto for maior que 'tamMin'
      case '-':
         if (tamFonte > tamMin) {
          document.getElementById(elem).style.fontSize = (tamFonte - 2) + "px";
		  		  
		  fonte = document.getElementById('fonte'); 
	      tamFonte = fonte.offsetHeight;
		  diferenca = tamFonteInicial - tamFonte;
		  ajustaTamanhosFonte('-', diferenca); }
      break;
    }	
	
}