function changeFontSize(inc) {
    var p = document.getElementsByTagName('*');
    for (n = 0; n < p.length; n++) {
        if (p[n].style.fontSize) {
            var size = parseInt(p[n].style.fontSize.replace("px", ""));
        } else {
            var size = 12;
        }
        p[n].style.fontSize = size + inc + 'px';
    }
}