// JavaScript Document

function upperFontSize() {
document.getElementById("content").style.fontSize = "15px";
//alert(document.getElementById("realContent").style.fontSize);

}

function lowerFontSize() {
document.getElementById("content").style.fontSize = "11px";
//alert(document.getElementById("realContent").style.fontSize);
}