function increaseFontSize() {
	var font = document.getElementById('content');
	font.style.fontSize = "1.2em";
}
function decreaseFontSize() 
{
	var font = document.getElementById('content');
	font.style.fontSize = "1em";
}