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

#headerStripe {
	display: block;
}