function fontsizeup() {
    modifyFontSize(+1);
}

function fontsizedown() {
    modifyFontSize(-1);
}


function modifyFontSize(delta) {
    var fontStyle = document.getElementsByTagName('body')[0].style;
    var fontSize = fontStyle.fontSize;

    if (!fontSize) {
        fontSize = '11px';
    }

    var sizeInt = parseInt(fontSize);
    var newSize = (sizeInt + delta) + 'px';
    if (newSize < 6) {
        return;
    }
    if (newSize > 72) {
        return;
    }
    fontStyle.fontSize = newSize;
}