function change_article_font(action){
	if (document.body.style.fontSize == "") { 
		document.body.style.fontSize = "15px"; 
	}
	var size = parseInt(document.body.style.fontSize);
	if(action == "+"  && size < 19 )
	 	document.body.style.fontSize = size + 2 + "px";
	if(action == "-" && size > 10)
		document.body.style.fontSize = size - 2 + "px";
}