/* @option user-selected misc. theme setting */

#pageTitle {
	display: none;
}

#main {
	margin-top: 0;
}