var groesse=0.75;
var inc = 0.1;
function bigger()
{
groesse += inc;
document.body.style.fontSize=groesse+"em";
}

function smaller()
{
groesse -= inc;
document.body.style.fontSize=groesse+"em";
}