window.addEvent('domready', function() {
	$('fontsmall').addEvent('click', function(){ $('left').setStyle('font-size', '13px');});
	$('fontmiddel').addEvent('click', function(){ $('left').setStyle('font-size', '16px');});
	$('fontbig').addEvent('click', function(){ $('left').setStyle('font-size', '19px');});

});