function SetFont(size,line){
	document.getElementById("article_content").style.fontSize=size
	document.getElementById("article_content").style.lineHeight=line
}