Miscellany

function resizeContent()
{
	var main_content = document.getElementById("interior-body-text");
        var change_height = 218;
	if(main_content != null)
	{
		if(main_content.offsetHeight < change_height) {
			main_content.style.height = change_height+"px";
		} 
	}
}