function increaseFontSize() {
    var min=8;
    var max=16;
    var p = document.getElementById('articleBody');
    if(p.style.fontSize) {
        var s = parseInt(p.style.fontSize.replace("px",""));
    } else {
        var s = 12; /* should equal font-size on body tag in css */
    }
    if(s!=max) {
        s += 1;
    }
    p.style.fontSize = s+"px";
}

//function for decreasing the font size.....
function decreaseFontSize() {
    var min=8;
    var max=16;
    var p = document.getElementById('articleBody');
    if(p.style.fontSize) {
        var s = parseInt(p.style.fontSize.replace("px",""));
    } else {
        var s = 10;
    }
    if(s!=min) {
        s -= 1;
    }
    p.style.fontSize = s+"px";
}
function openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}