function FontSmall()
{
	try
	{
		document.getElementById("mBodyFontStyle").style.fontSize = "60%";
	}
	catch(err) {}
	try
	{
		document.getElementById("mListFontStyle").style.fontSize = "85%";
	}
	catch(err) {}
}
function FontNormal()
{
	try
	{
		document.getElementById("mBodyFontStyle").style.fontSize = "75%";
	}
	catch(err) {}
	try
	{
		document.getElementById("mListFontStyle").style.fontSize = "100%";
	}
	catch(err) {}
}
function FontBig()
{
	try
	{
		document.getElementById("mBodyFontStyle").style.fontSize = "90%";
	}
	catch(err) {}
	try
	{
		document.getElementById("mListFontStyle").style.fontSize = "120%";
	}
	catch(err) {}
}