// JavaScript Document

function fontUp() 
{
 var ok = (document.styleSheets) ? 1 : 0;
 if (ok) 
 {
  var size = document.getElementById('PrintableArea').style.fontSize.substring(0, 2)
  var dimFont = parseInt(size, 12)
  if (isNaN(dimFont)) { dimFont = 12; }
   dimFont+= 1;
  {
  if (dimFont > 20) dimFont = 20;
  }
  document.getElementById('PrintableArea').style.fontSize = dimFont+'px';
 }
}

function fontDown() 
{
 var ok = (document.styleSheets) ? 1 : 0;
 if (ok) 
 {
  var size = document.getElementById('PrintableArea').style.fontSize.substring(0, 2)
  var dimFont = parseInt(size, 10)
  if (isNaN(dimFont)) { dimFont = 10; }
  dimFont-= 1;
  {
  if (dimFont < 10) dimFont = 10;
  }
  document.getElementById('PrintableArea').style.fontSize = dimFont+'px';
 }
}