function setTextSize(i) {
	document.getElementById('LargeFont').className = 'fontadjust';
	document.getElementById('MediumFont').className = 'fontadjust';
	document.getElementById('SmallFont').className = 'fontadjust';
	switch(i) {
		case 'LargeFont': 
			document.body.style.fontSize = '120%';
			break;
		case 'SmallFont': 
			document.body.style.fontSize = '62.5%';
			break;
		default: 
			document.body.style.fontSize = '87.5%';
			break;
	}
	document.getElementById(i).className = 'fontadjusted';
}