body {
	font-size: small;
	margin: 0px;
}

#banner {
	height: auto;
	width: 750px;
	margin-right: auto;
	margin-left: auto;
	text-align: center;
	background-color: #FFFFFF;
	padding: 0px;
	margin: 0px;
	font-size: 120%;
	margin-bottom: 3%;
	padding-bottom: 3%;
}

#banner img {
	padding:0px 0px;
	text-align: center;
} 	

div.top1 {
	font-size: 90%;
	width:60%;
	margin: 0%;
	padding: 2%;
}

div.top2 {
	 font-size: 100%;
     width:60%;
     margin: 2%;
     padding: 3px 0px 3px 0px;
	border: 1px solid #FF0000;	 
}


.heading {
	FONT-WEIGHT: bold;
	font-size: 140%;
	MARGIN: 2ex 10ex 0ex;
	background-color: #000099;
	color: #FFFFFF;
	height: 20px;
	padding-top: 5px;
	padding-bottom: 0px;
}
.output {
	BORDER-RIGHT: #c00 1px solid;
	PADDING-RIGHT: 1ex;
	BORDER-TOP: #c00 1px solid;
	PADDING-LEFT: 1ex;
	PADDING-BOTTOM: 1ex;
	MARGIN: 0ex 5ex;
	BORDER-LEFT: #c00 1px solid;
	PADDING-TOP: 1ex;
	BORDER-BOTTOM: #c00 1px solid;
	width: 90%;
}
div.cabinet {
     width:100%;
     margin: 0%;
     padding: 0%;
}
div.doublebox {
	float: left;
	width: 45%;
	margin: 0px 0px 0px 0px;
	padding: 2%;
	border: 1px solid #CCCCCC;
	font-size: 80%;
	text-align: left;
}
div.dummy { clear: left; }
span.none{ display: none; }
.headdown {
	MARGIN: 2ex 0ex 0ex 0ex;
	background-color: #FFFFFF;
	color: #999999;
	font-size: 66%;
	width: 770px;
	float: left;
}