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

#banner {
	height: 50px;
}