/* import findPosition from /wp-srv/js/utilsStatic.js */

function article_fontSizer(size) {
	var article_body = document.getElementById('article_body');
	
	if (size == "small"){article_body.style.fontSize ="";}
	if (size == "medium"){article_body.style.fontSize ="17px";}
	if (size == "large"){article_body.style.fontSize ="20px";}
}