function sizeControl(e){

	var elem =Event.element(e);

	var ctrl=elem.id.toString().replace(/size_/,'');

	var ts=$('post_content').style.fontSize.replace(/px/,'');
	if(ts<12)
	ts=12;
	switch(ctrl){

		case 'plus':
		ts++;
		break;

		case 'minus':
		ts--;
		break;

	}
	


	$('post_content').setStyle({  fontSize: ts+'px'});

}
if($('size_plus')){
 Event.observe('size_plus','click', sizeControl.bindAsEventListener(this));
 Event.observe('size_minus','click', sizeControl.bindAsEventListener(this));
}

// JavaScript Document