//	font-resize widget
window.addEvent('load', function(){

});

var fontResizeTo = function(size) {
	$$('#main p, #main .ce_text li, #main .ce_text table').each(function(e, i){
		e.setStyle('fontSize', size + 'px');
	});
}