// Copyright (C) basement.nl

var FActualFontSize = 12;
var FMinFontSize = 8;
var FMaxFontSize = 18;

function IncFontSize()
{
  if (FActualFontSize != FMaxFontSize)
  {
    FActualFontSize++;
    var p = document.getElementsByTagName("div");
    for (var I = 0; I < p.length; I++)
    {
      p[I].style.fontSize = FActualFontSize + "px";
    }
  }
}

function DecFontSize()
{
  if (FActualFontSize != FMinFontSize)
  {
    FActualFontSize--;
    var p = document.getElementsByTagName("div");
    for (var I = 0; I < p.length; I++)
    {
      p[I].style.fontSize = FActualFontSize + "px";
    }
  }
}