body {
	font-family: Arial, Helvetica, sans-serif;
}
.smaller {
	font-size: 85%;
}
.leftnav {
	font-family: "Times New Roman", Times, serif;
	font-size: 80%;
	font-style: normal;
	font-weight: 600;
}
h1 {
	color: #0F3896;
}
hr {
	color: #FDCD01;
}

a:hover {
color:#000066
}

a:visited {
color:#666666
}

.indexbox {
	border: thick solid #FDCD01;
	margin: 5px;
	padding: 5px;
}

.indexboxthin {
	margin: 2px;
	padding: 2px;
	border: thin solid #FDCD01;
}

.plainbox {
	margin: 7px;
	padding: 7px;
	border: none #FFFFFF;
	clear: both;
}
.highlight {
	background-color: #213777;
	color: #FFFFFF;
	padding: 10px;
}
#main .ninetypercent {
	font-size: 90%;
}