// JScript file

function changeFontSize(inc){
    var el = document.getElementById('content');
        if(el.style.fontSize) {
            var size = parseInt(el.style.fontSize.replace("pt", ""));
        } else {
            var size = 12;
        }
        
        el.style.fontSize = size+inc + 'pt';
    }

    function setFontSize(size) {
        var el = document.getElementById('content');
        el.style.fontSize = size + 'pt';
    }