function resizeHeight()
{
	document.getElementById("content2backdrop").style.height = document.getElementById("content2").offsetHeight /16+"em";
}

function setOverlayColor(alt_color)
{
	document.getElementById("overlay").style.backgroundColor = alt_color;
}