/* @option user-selected miscellaneous theme setting */

#bannerOuter {
	display: none;
}