function increaseFontSize(){
	var maxWidth = 20;
	var fontSize = $('mainTextArea').getStyle('fontSize');
	var newSize = parseInt(fontSize.replace('px', ''))
	if (newSize <= maxWidth){
		newSize = newSize +1;
		Element.setStyle($('mainTextArea'), { fontSize: newSize + 'px' });
	}

}

function decreaseFontSize(){
	var minWidth = 10;
	var fontSize = $('mainTextArea').getStyle('fontSize');
	var newSize = parseInt(fontSize.replace('px', ''))
	if (newSize >= minWidth){
		newSize = newSize -1;
		Element.setStyle($('mainTextArea'), { fontSize: newSize + 'px' });
	}


}