// --------------------------------------
function fontsizer(el,factor,bigger)
{
  myEl = document.getElementById(el);
  if(!myEl) return false;

  size = parseInt(myEl.style.fontSize);
  if(!size) size = 12;
  if(size < 10) size = 10;

  if(bigger)
    size += factor;
  else
    size -= factor;

  myEl.style.fontSize = size+"px";
}