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