var x = 100;
function def() { document.body.style.fontSize = '100%'; x = 100;}
function larger()  { x *= 1.1; document.body.style.fontSize = x + '%'; }
function smaller() { x *= 0.9; document.body.style.fontSize = x + '%'; }