@charset "utf-8";
#banner {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: x-large;
	font-style: normal;
	text-decoration: none;
	margin: 8px;
	padding: 8px;
	height: auto;
	width: auto;
	clear: right;
	padding-bottom: 6px;
	padding-left: 6px;
	padding-right: 6px;
	padding-top: 6px;
}