function setTextSize(tS)
{
	var sets = $("article-body");
	for(var i=0;i!=sets.length;i++)
	{
		sets[i].style.fontSize=tS+"px";
	}
}

function changeTextSize(tS)
{
	setTextSize(tS);
	createCookie("fontSize",tS,7);
}

function establishFontSize()
{
	if(readCookie("fontSize")) setTextSize(readCookie("fontSize"));
}