var newsfont = 13;  
function changeFont(id) {  

if (document.getElementById) {  
        document.getElementById(id).style.fontSize = newsfont+"px";  
    } else {  
        if (document.layers) {  
            document.layers[id].fontSize = newsfont+"px";  
        } else {  
            if (document.all) {  
                eval("document.all." + id + ".style.fontSize = \"" + newsfont + "px \"");  
            }  
        }  
    }  
      
  
}  

function larger() {  
    if (newsfont < 20) {  
        newsfont= newsfont +1;  
        changeFont('contenido');  
    }  
}  

function smaller() {  
    if (newsfont > 10) {  
    newsfont= newsfont -1;  
    changeFont('contenido');  
    }  
}