function largerFont() {
var font = document.getElementById("text").style.fontSize;
font = font.substring(0, 2); if (font < 16) { font++; }
document.getElementById("text").style.fontSize = font; }
function smallerFont() {
var font = document.getElementById("text").style.fontSize;
font = font.substring(0, 2); if (font > 12) { font--; }
document.getElementById("text").style.fontSize = font; }