function changeFont(size)
{
	if (size == "big")
	{
		document.getElementById('body').style.fontSize = "1.2em";
	}
	else if (size == "normal")
	{
		document.getElementById('body').style.fontSize = "1em";
	}
	else if (size == "small")
	{
		document.getElementById('body').style.fontSize = "0.8em";
	}
}