.nav {
	font-family: "Lucida Sans";
	font-size: 12px;
	font-weight: bold;
	color: #000080;
}
.pubtitle {
	font-family: Arial, Helvetica, sans-serif;
	color: #000080;
	font-size: 18px;
	font-weight: bold;
}
.pubsubtitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-weight: bold;
	color: #000080;
}
.pubtitlelarge {
	font-family: Arial, Helvetica, sans-serif;
	color: #000080;
	font-size: 22px;
	font-weight: bold;
}
.fireworks {
	font-family: Stereofidelic;
	font-size: inherit;
	font-weight: bold;
	color: #0000FF;
}
.ArialTable {
	color: #0000FF;
	font-family: Arial;
	font-size: small;
}