function setBannerBreadcrumb(inCrumb, inURL) {
	// Non-home pages show a breadcrumb section in the header.
	var o = document.getElementById("bannerBc1");
	if (o) o.style.display = "block";
	
	o = document.getElementById("bannerBc2");
	if (o) o.style.display = "block";

	o = document.getElementById("bannerBc");
	if (o) o.innerHTML = inCrumb;
}

function setBannerIntro(inIntro) {
	// Set the banner's trailing caption/title.
	var o = document.getElementById("bannerIntro");
	if (o) o.innerHTML = inIntro;
}

function setMenuSelect(inSelect) {
	// Show a menu option as selected to show current page.
	var sel = document.getElementById(inSelect);
	if (sel) sel.className = "navsel";
}