/* @group user selected miscellaneous style setting */

#pageStripe {
	display: block;
}