// JavaScript Document
currentSize = 11;
function GetFontObject() {
       return document.getElementById("main");
}
function Bigger() {
if(currentSize < 100)
         currentSize++;
GetFontObject().style.fontSize = currentSize + "px";
}

function Smaller() {
if(currentSize > 1)
         currentSize--;
GetFontObject().style.fontSize = currentSize + "px";
}