var bigOrSmall;
currentSize = 11;
function font(bigOrSmall){
	if(bigOrSmall == "big"){currentSize += 2;}
	else{currentSize -= 2;}
document.getElementById('mainTextBody').style.fontSize = currentSize;
}