<!--
var x = 100;

function larger()  { x *= 1.5; document.body.style.fontSize = x + '%'; }
function normal(){
document.body.style.fontSize ="0.8em";}
function smaller() { x /= 1.5; document.body.style.fontSize = x + '%'; }

//-->