function setFontSize(size)
{
    var body = document.getElementsByTagName('body');
    for(var i = 0; i < body.length; i++)
    {
        if (body[i].style.fontSize)
        {
            var s = parseInt(body[i].style.fontSize.replace("%",""));
        } else {
            var s = size;
        }
        body[i].style.fontSize = size + "%";
    }
}