function resize_text(font_size){
		document.getElementById('content_control').style.fontSize = font_size+'pt';
		
		//CHECK ALL SPANS
		var spans = document.getElementsByTagName('span');
		for(i=0; i < spans.length; i++){ spans[i].removeAttribute('style'); }
}