/* @option User selected banner border setting */

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

#banner {
	margin: 6px;
}

/* Add 2x banner margin and 2x border width to compensate for extra clearance */

#bannerOuter {
	padding-bottom: 14px;
}