// Set up the display of a 'printer friendly' (p.f.) page.
function goPrinterFriendly() {
	var pf = document.getElementById('pfPanel');
	var banner = document.getElementById('banner');
	var content = document.getElementById('content');
	// Copy what needs to printed into the p.f. panel.
	pf.appendChild(banner);
	pf.appendChild(content);
	// Use regex to find and hide the sidebars.
	pf.innerHTML = pf.innerHTML.replace(/id="?side"?/g, 'id="side" style="display:none"');
	// Change the display.
	document.getElementById('main').style.display = 'none';
	document.getElementById('menu').style.display = 'none';
	document.getElementById('linkbar').style.display = 'none';
	document.getElementById('searchbar').style.display = 'none';
	document.getElementById('breadcrumbtrail').style.display = 'none';
	document.getElementById('backtotop').style.display = 'none';
	pf.style.display = '';
    // The 'back' button doesn't do what the user expects so
    // capture them leaving the page and redisplay it.
	window.onunload = function() {
		location.href = window.location;
	};
}
function setFocus() {
	document.searchForm.searchBox.focus();
}
window.onload = setFocus;