@charset "ISO-8859-1";
.text {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
	color: #000000;
	font-weight: normal;
}
.classname {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9pt;
	font-weight: bold;
	color: #990066;
	font-style: normal;
}
.level {
	color: #000000;
	font-size: 8pt;
	font-weight: bold;
}
.boldtext {
	font-family: Verdana, Geneva, sans-serif;
	font-size: 10pt;
	font-weight: bold;
	color: #906;
}
.biggerboldtext {
	font-family: Verdana, Geneva, sans-serif;
	font-size: 11pt;
	font-weight: bold;
	color: #FFF;
	background-color: #306;
}
.giglisting {
	font-family: Verdana, Geneva, sans-serif;
	font-size: 10pt;
	font-weight: bold;
	color: #906;
}