var size=16;
var size2=13;

function micsoreazaFont()
  {
  var x=document.getElementsByTagName("FONT");
  var x1=document.getElementsByTagName("A");
  if(size>16) size=size-8;
  for(var y=2; y<x.length; y++)
  x[y].style.fontSize=size;
  if(size2>13) size2=size2-8;
  for(var y1=0; y1<x1.length; y1++)
  x1[y1].style.fontSize=size2;

  }

function maresteFont()
  {
  var x=document.getElementsByTagName("FONT");
  var x1=document.getElementsByTagName("A");
  size=size+8;
  size2=size2+8;
  for(var y=2; y<x.length; y++)
  x[y].style.fontSize=size;

 for(var y1=0; y1<x1.length; y1++)
  x1[y1].style.fontSize=size2;

  }
