//var min = 12;
//var max = 18;

Event.observe('increase-font','click', function(event){
	Event.stop(event);
	var str = $('content').getStyle('font-size');
	str = str.replace('px','');
	$('content').setStyle({
		  fontSize: (++str)+'px'
	});
   //alert("Font size is : " + str );
	
});
Event.observe('decrease-font','click', function(event){
	Event.stop(event);
	var str = $('content').getStyle('font-size');
	str = str.replace('px','');
	$('content').setStyle({
		  fontSize: (--str)+'px'
	});
});
