var min=0.875;
var max=1.5;
function increaseFontSize() {
	var content = document.getElementById('content');
	if(content.style.fontSize) {
		var s = parseFloat(content.style.fontSize.replace("em",""));
	} else {
		var s = 0.875;
	}
	if(s<max) {
		s += 0.125;
	}
	content.style.fontSize = s+"em"
}
function decreaseFontSize() {
	var content = document.getElementById('content');
	if(content.style.fontSize) {
		var s = parseFloat(content.style.fontSize.replace("em",""));
	} else {
		var s = 0.875;
	}
	if(s>min) {
		s -= 0.125;
	}
	content.style.fontSize = s+"em"  
}