body {
	background-color: #FFFFFF;
	margin: 0px;
	padding: 5px;
}

/* Banner (top bar) classes */

.banner { }

.banner-menu {
	color: #FFFFFF;
	clear      : both;
	padding    : .2em;
	border-top : 1px dotted #FFFFFF;
}

.banner-title {
	text-align  : right;
	font-size   : 12pt;
	font-weight : bold;
	margin      : .2em;
	color       : #FFFFFF;
}

.banner-menu a {
	color: #FFFFFF;
	text-decoration: none;
	font-weight: bold;
	font-size: 8pt;
}

.banner-menu a:hover, .banner-menu a:active {
	color: #FFFFFF;
	text-decoration: underline;
}