function setBodyFontSize(sizeInPx)
{
	document.body.style.fontSize = sizeInPx; 
}