function setTypeSizeNorm()
{
	var b = document.body;
	b.style.fontSize = "62.5%";
	return false;
}

function setTypeSizeA()
{
	var b = document.body;
	b.style.fontSize = "82.5%";
	return false;
}

function setTypeSizeB()
{
	var b = document.body;
	b.style.fontSize = "92.5%";
	return false;
}