/* @option User selected banner border setting */

#bannerBorder {
	-webkit-border-radius: 4px;
	-moz-border-radius: 4px;
	border-radius: 4px;
}

#banner {
	margin: 4px;
}