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

#banner {
	height: 175px;
}