var newsize = 88;

function resizeFont(size) {
    if (size > 0) {
   		newsize = newsize + 20;
    } else {
    	newsize = newsize - 20;
    }
	if ((newsize > 67) && newsize < 129) {
		document.getElementById("body").style.fontSize = newsize + "%";
    }
}

function FontTool() {
	document.write('<a href="#" onClick="changeFontSize(1)"><img src="/img/icon_schrift_gross.gif" alt="Schrift vergr&ouml;&szlig;ern" title="Schrift gr&ouml;&szlig;er" border="0" align="top" /></a>&nbsp;');
	document.write('<a href="#" onClick="changeFontSize(-1)"><img src="/img/icon_schrift_klein.gif" alt="Schrift verkleinern" title="Schrift kleiner" border="0" align="top" /></a>');
}

function changeFontSize(inc)
{
  var p = document.getElementsByTagName('p');
  for(n=0; n<p.length; n++) {
    if(p[n].style.fontSize) {
       var size = parseInt(p[n].style.fontSize.replace("px", ""));
    } else {
       var size = 12;
    }
    p[n].style.fontSize = size+inc + 'px';
   }
  var a = document.getElementsByTagName('a');
  for(n=0; n<a.length; n++) {
    if(a[n].style.fontSize) {
       var size = parseInt(a[n].style.fontSize.replace("px", ""));
    } else {
       var size = 12;
    }
    a[n].style.fontSize = size+inc + 'px';
   }
}