.classtext    {
	color: #000000;
	font-size: small;
	line-height: normal;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	border-top: 1px solid #c0c0c0;
	font-style: normal;
}

.classtextnoline {
	color: #3333FF;
	font-size: small;
	line-height: normal;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	border-top: gray;
}

table.class { border: dashed thin navy }
element { }
.classlinks {
	margin-top: 0ex;
	margin-bottom: 0.5ex }

.classline  {
	border-right: 1px solid #d3d3d3 }
.classspaced { letter-spacing: 12px }
.classsmall {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
	color: #000000;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
}
.style1 {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; color: #000000; margin-top: -1em; font-weight: bold; }
.subheadred {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	font-weight: bold;
	color: #990033;
}
.subheadredlarge {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: large;
	font-weight: bold;
	color: #0000FF;
}
.classtextred {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
	font-style: normal;
	line-height: normal;
	font-weight: bold;
	color: #CC0000;
}
.classtextredline {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
	font-style: normal;
	line-height: normal;
	font-weight: bold;
	color: #CC0000;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #999999;
}
.classtextblue {
	color: #0000FF;
	font-size: small;
	line-height: normal;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	border-top: 1px solid #c0c0c0;
	font-style: normal;
}