function t_button_down(obj)
{
	obj.style.borderTop = "solid 7px #8090e0";
	obj.style.borderLeft = "solid 7px #8090c0";
	obj.style.borderBottom = "solid 7px #a0a0ff";
	obj.style.borderRight = "solid 7px #a0a0ff";
}
function t_button_up(obj)
{
	obj.style.borderTop = "solid 6px #f0f0f0";
	obj.style.borderLeft = "solid 6px #c0c0ff";
	obj.style.borderBottom = "solid 8px #8090e0";
	obj.style.borderRight = "solid 8px #8090c0";
}