/* @option user-selected heading height setting */

#pageHeader {
	height: 32px;
}

#pageHeader h1 {
	display: none;
}

#pageHeader h2 {
	display: none;
}

#extraContainer2 {
	display: none;
}

#extraContainer3 {
	display: none;
}