function large() { document.getElementById('resizable').style.fontSize = "115%"; }
function middle() { document.getElementById('resizable').style.fontSize = "100%"; }
function small() { document.getElementById('resizable').style.fontSize = "85%"; }