function large() { document.body.style.fontSize = "100%"; }
function standard() { document.body.style.fontSize = "80%"; }
function small() { document.body.style.fontSize = "70%"; }