function large() { document.body.style.fontSize = "130%"; }
function normal() { document.body.style.fontSize = "100%"; }