function changeFontSize(size) {
	var content = document.getElementById('Content');
	switch(size) {
		case "small":
			content.style.fontSize = '.8em';
		break;
		
		case "normal":
			content.style.fontSize = '1em';
		break;
		
		case "large":
			content.style.fontSize = '1.4em';
		break;
	}
}