// JavaScript Document
var fsize = 95;
function larger() { fsize *= 1.2; document.body.style.fontSize = fsize + "%"; }
function middle() { fsize = 95;   document.body.style.fontSize = fsize + "%"; }
function smaller() { fsize /= 1.2; document.body.style.fontSize = fsize + "%"; }