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;
}