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

#pageStripe {
	display: block;
}