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