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

}

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


}