/* CSS Document */
.pushButton {
	font-family:Arial, Helvetica, sans-serif;
	font-size:11px;
	font-weight:bold;
	border-top:solid 2px white;
	border-left:solid 2px white;
	border-right:solid 2px #707070;
	border-bottom:solid 2px #707070;
	color:#FFFFFF;
	background-color:#0D3989;
	text-decoration:none;
	text-align:center;
	padding:0px 2px 0px 2px;
	margin:0px 2px 0px 2px;
	cursor:pointer;
	width: auto;
	overflow: visible;
}
.pushButtonReset {
	font-family:Arial, Helvetica, sans-serif;
	font-size:11px;
	font-weight:bold;
	border-top:solid 2px white;
	border-left:solid 2px white;
	border-right:solid 2px #707070;
	border-bottom:solid 2px #707070;
	color:#FFFFFF;
	background-color:#660000;
	text-decoration:none;
	text-align:center;
	padding:0px 2px 0px 2px;
	margin:0px 2px 0px 2px;
	cursor:pointer;
	height:20px;
	width: auto;
	overflow: visible;
}


.pushHelpButton {
	font-family:Arial, Helvetica, sans-serif;
	font-size:11px;
	font-weight:bold;
	border-top:solid 2px white;
	border-left:solid 2px white;
	border-right:solid 2px #707070;
	border-bottom:solid 2px #707070;
	color:#FFFFFF;
	background-color:#660000;
	text-decoration:none;
	text-align:center;
	padding:0px 2px 0px 2px;
	margin:0px 2px 0px 2px;
	cursor:pointer;
	height:15px;
}

.pushDataButton {
	background-color:#6688A9;
}

.pushDataMissingButton {
	color:          ADACAC;
	background-color:#6688A9;
	cursor:default;
}

.pushGrayButton {
	background-color:#707070;
}

.pushBlueButton {
	background-color:#0D3989;
}

.pushGrayMissingButton {
	color:			ADACAC;
	background-color:	#707070;
	cursor:			default;
}

.buttonOff {
	background-color:#aaaaaa;
	cursor:default;
}

.symbolButton {
	font-size:12px;
}