// JavaScript Document
function resizeText(x)
{
	document.getElementById("100").style.background="#CCCCCC";
	document.getElementById("100").style.color="#000000";
	
	document.getElementById("150").style.background="#CCCCCC";
	document.getElementById("150").style.color="#000000";
	
	document.getElementById("200").style.background="#CCCCCC";
	document.getElementById("200").style.color="#000000";
	
	document.getElementById(x).style.background="#999999";
	document.getElementById(x).style.color="#FFFFFF";
	
	if (x == "100") {
		document.body.style.fontSize="100%";
	}
	if (x == "150") {
		document.body.style.fontSize="150%";
	}
	if (x == "200") {
		document.body.style.fontSize="200%";
	}
}