// JavaScript Document
<!--
function exlarge() { document.body.style.fontSize = "140%"; }
function large() { document.body.style.fontSize = "120%"; }
function middle() { document.body.style.fontSize = "100%"; }
//-->