/* banner.css */
div.bwrapping > div.banner {
	position: fixed;
}
div.banner {
	margin: 0;		/* margin-top/bottom/left/right */
	font-size: 10pt;
	line-height: 1.1;
	text-align: center;
	position: absolute;	/* Fallback if 'fixed' is not supported */
	top: 2em;
	width: 15em;
	left: auto;
	right: 2em;
}
div.banner p {
	margin: 0; 
	padding-top: 0.3em;
	padding-bottom: 0.3em;
	padding-left: 0.4em;
	padding-right: 0.4em;
	/* background: #FFAAAA  fixed; */
	background: white  fixed;
	/* border: thin outset #999999; */
	border: thick outset #999999;
	color: white;
}
div.banner a, div.banner strong {
	display: block;
	margin-top: 0em;
	margin-bottom: 0em;
	margin-left: 0.2em;
	margin-right: 0.2em;
	border-top: 2px ridge #FFFFFF;
}
div.banner a:first-child, div.banner strong:first-child {
	border-top: none;
}
div.banner strong {
	color: #33BBBB;
	font-style: normal;
	font-weight: bold;
	font-size: 12pt;
}
div.banner a:link {
	text-decoration: none;
	color: blue;
}
div.banner a:visited, div.banner a:active {
	text-decoration: none;
	color: red;
}
div.banner a:hover {
	background: black;
	color: white;
}