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

#banner {
	height: 150px;
}