function setFontSizeSmall() {
    document.body.style.fontSize = '74%';
}

function setFontSizeMedium() {
    document.body.style.fontSize = '89%';
}

function setFontSizeLarge() {
    document.body.style.fontSize = '107%';
}

function initFontSizeWidget() {

    /* Initialize the button for small. */
    var fontSizeSmall = document.getElementById("fontSizeSmall");
    if (fontSizeSmall) {
        fontSizeSmall.onclick = setFontSizeSmall;
        fontSizeSmall.style.cursor = "pointer";
    }

    /* Initialize the button for medium. */
    var fontSizeMedium = document.getElementById("fontSizeMedium");
    if (fontSizeMedium) {
        fontSizeMedium.onclick = setFontSizeMedium;
        fontSizeMedium.style.cursor = "pointer";
    }

    /* Initialize the button for large. */
    var fontSizeLarge = document.getElementById("fontSizeLarge");
    if (fontSizeLarge) {
        fontSizeLarge.onclick = setFontSizeLarge;
        fontSizeLarge.style.cursor = "pointer";
    }

    /* Display the font size widget. */
    var fontSizeWidget = document.getElementById("fontSizeWidget");
    if (fontSizeWidget) {
        fontSizeWidget.style.display = "block";
    }

}