function large() { document.body.style.fontSize = "105%"; }
function middle() { document.body.style.fontSize = "75%"; }
function small() { document.body.style.fontSize = "60%"; }