function changeFontSize(size){
	document.getElementById("article_content").style['fontSize']=size+"px";
}

function changeArticleColor(color){
	var content = document.getElementById("article_content");
	content.style['backgroundColor']=color;
}