// JavaScript Document

function large() { document.body.style.fontSize = "120%"; }
function middle() { document.body.style.fontSize = "80%"; }
function small() { document.body.style.fontSize = "65%"; }