// JavaScript Document
function CambiaFont(font){
document.getElementById('container').style.fontSize = font;
}