// JavaScript Document

function setFontSize(newFontSize)
{
    var rootFontElement = $("pageContainer");
    if(newFontSize == "smaller")
    {
        rootFontElement.style.fontSize = "45%";
    }
    else if(newFontSize == "bigger")
    {
        rootFontElement.style.fontSize = "58%";
    }
    else if(newFontSize == "normal")
    {
        rootFontElement.style.fontSize = "50%";
    }
    else
    {
        newFontSize = "normal";
        rootFontElement.style.fontSize = "50%";
    }
}