var textSize = 14;

function incrementFont() {
	targetSize = Math.round(textSize * 1.15);
	if(targetSize<25) {
		var article = document.getElementById('article-content');
		article.style.fontSize = targetSize + "px";
		textSize = targetSize;
	}
}

function decrementFont() {
	targetSize = Math.round(textSize * .85);
	if(targetSize>8) {
		var article = document.getElementById('article-content');
		article.style.fontSize = targetSize + "px";
		textSize = targetSize;
	}
}