function large() { document.body.style.fontSize = "1.1em"; }
function middle() { document.body.style.fontSize = "0.9em"; }
function small() { document.body.style.fontSize = "0.7em"; }