var size = 1;
function toggleFont() {
var area = document.getElementById('content');
	if (size == 1) {
		area.className='bigger';
		size = 2;
	}
	else if (size == 2) {
		area.className='';
		size = 1;
	}
}