// JavaScript Document
var URLSite = window.location.href;
var TituloSite = document.title;
function addfav(){
if (document.all) window.external.AddFavorite(URLSite,TituloSite);
}

// Script de aumentar e diminuir fonte
function sizeFont (nivel, elem)
{
    document.getElementById(elem).className = "nivel"+nivel;
}
function sizeFontGrupo(nivel,prefixo,tamanho){
   for (i=1;i<=tamanho;i++){ 
      elem=prefixo+i;
      sizeFont (nivel, elem);
   }
}