// JScript file

function changeFontSize(inc){
    var el = document.getElementById('container');
    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('container');
    el.style.fontSize = size + 'pt';
}