//******************************************************
var fontSize = 20;
var lineHeight = 10;

function setFaceSize()
    {
    lineHeight = fontSize+Math.round(.3*fontSize);

        obj = document.getElementById("article");
        obj.style.fontSize = fontSize+"px";
        obj.style.lineHeight = lineHeight+"px"
    }

function FontLarger()
    {
    if (fontSize < 40) {
    fontSize = fontSize+2;
    setFaceSize();
    }
    }
    
function FontSmaler()
    {
    if (fontSize > 12) {
    fontSize = fontSize-2
    setFaceSize();
    }
    }