function fontSizer(inc)
{
   var pixelArray = new Array('70','80','90','93','100','110','120','130','140','150');
   var size=3;  //Assume a default of 12pt
   
   //But now check the current font size of the document
    
//   var currentSize=parseInt(frames['frame'].document.body.style.fontSize);
   var currentSize=parseInt(document.body.style.fontSize);

   //And see where it fits in our array
   for (n=0;n<pixelArray.length;n++)
      {if (pixelArray[n]==parseInt(currentSize))
         size=n;
      }

   //if (navigator.appName == "Netscape")
      //var frame = frames['frame'];
   
   if (inc != 0)
      size += inc;
   
        else
      size = 3;
   
   if (size < 0)
      size = 0;

   //I've modified this next line so that you may modify the pixel array
   //without having to edit this line again
   if (size >= pixelArray.length)
      {size = pixelArray.length-1;}
   

   //I've added the unit "PT" to the font size
//   frames['frame'].document.body.style.fontSize = pixelArray[size]; + "pt";
//   document.body.style.fontSize = pixelArray[size] + "pt";
   document.getElementsByTagName('body')[0].style.fontSize = pixelArray[size] +"%";
   document.getElementsByTagName('html')[0].style.fontSize = pixelArray[size] +"%";
//   document.getElementsByName('left')[0].style.fontSize = pixelArray[size] +"%";
//   document.getElementsByName('navigation')[0].style.fontSize = pixelArray[size] +"%";
//   document.getElementsByName('content')[0].style.fontSize = pixelArray[size] +"%";
//   document.getElementsByName('news')[0].style.fontSize = pixelArray[size] +"%";
//   alert (document.body.style.fontSize);

        //AND DON'T FORGET TO REMOVE THE CALL TO UPDATE()  :-)
//   update();
}