/* FIXME remove all this, replaced by div.container-body ? */
nav div.inner ,
div.container-body div.container-header , 
div.container-body div.container-content div.breadcrumb , 
div.container-body div.container-content main ,
div.container-body div.container-content header /* ,
div#resultsDiv div.page-container*/ {
	/*width: 95%;
	max-width: 1200px;
	margin-left: auto !important;
	margin-right: auto !important;*/
}
div.container-body div.container-content header.wide {
	padding: 0px;
	margin: 0px;
}

nav div.inner ,
div.container-body div.container-header , 
div.container-body div.container-content div.navigationMainMenu , 
div.container-body div.container-content div.breadcrumb {
	margin-left: 0px;
	margin-right: 0px;
}
div.container-body div.container-content header ,
div.container-body div.container-content main {
	margin-left: 2rem;
	margin-right: 2rem;
}
div.container-body div.container-header {
	padding-left: var(--headerLRPadding);
	padding-right: var(--headerLRPadding);
}

/*
 * If the top menu navigation isn't displayed, add some whitespace to separate
 * the header from breadcrumbs.
 */
div#navigationMainMenu:empty {
	min-height: 1rem;
	background-color: var(--ljmuHighColour);
}