// JavaScript Document

function abrir(URL) {

  var width = 600;
  var height = 620;

  var left = 300;
  var top = 40;

  window.open(URL,'pagina', 'width='+width+', height='+height+', top='+top+', left='+left+', scrollbars=yes, status=no, toolbar=no, location=no, directories=no, menubar=no, resizable=yes, fullscreen=no');

}


var tam=12;
function fonte(x) {
   tam+=x;
   if(tam>16) tam=16;
   if(tam<8) tam=8;
   document.getElementById("all").style.fontSize=tam;
}