function changeFontSize(size){
	document.getElementById('container').style.fontSize=size;
}