// JavaScript Document

<!--
var x = 62.5;
function larger()  { x *= 1.2; document.body.style.fontSize = x + '%'; }
function smaller() { x /= 1.2; document.body.style.fontSize = x + '%'; }
//-->