var prefsLoaded = false;
var defaultFontSize = 100;
var currentFontSize = defaultFontSize;
function changeFontSize(sizeDifference){
	//alert ("ok"+document.getElementById('article').style.fontSize);
	//document.getElementById('article).style.fontSize+=2;
	
currentFontSize = parseInt(currentFontSize) + parseInt(sizeDifference * 10);
	if(currentFontSize > 150){
		currentFontSize = 150;
	}
	else if(currentFontSize < 70){
		currentFontSize = 70;
	}
document.getElementById('article').style.fontSize = currentFontSize + '%'; 

};