h1 {
	color: rgb(51, 0, 102); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 24px;
}
h2 {
	font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 18px;
}
h3 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
h3 {
	font-size: 14px;
}
.h1_l3 {
	text-align: left; color: purple;
}
.indented {
	margin-left: 20px;
}
td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
td {
	font-size: 12px;
}
td {
	
}
th {
	font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; background-color: rgb(225, 217, 232);
}
.description {
	font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-style: italic; font-weight: bold;
}
li {
	
}
li {
	
}
li {
	
}
li {
	
}
li {
	
}
li {
	
}
.navbartext {
	color: black; line-height: 18px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; text-decoration: none;
}
.navbartext:hover {
	color: rgb(153, 0, 153);
}
.navbartext-active {
	color: black; line-height: 18px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; text-decoration: none; background-color: white;
}
.navbartext-active:hover {
	color: rgb(153, 0, 153);
}
p {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
p {
	
}
p {
	font-size: 12px;
}
p {
	
}
li {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
li {
	font-size: 12px; font-weight: normal;
}
li {
	
}
.navbartext_sub {
	color: rgb(0, 0, 0); line-height: 18px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none;
}
.navbartext_sub:hover {
	color: rgb(153, 0, 153);
}
.navbartext_sub-active {
	color: black; line-height: 18px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none; background-color: white;
}
.navbartext_sub-active:hover {
	color: rgb(153, 0, 153);
}
a {
	
}
a {
	
}
li {
	
}
li {
	
}
p {
	
}
.navbartext_sub_2 {
	color: black; line-height: 18px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; text-decoration: none;
}
.navbartext_sub_2:hover {
	color: rgb(153, 0, 153);
}
.navbartext_sub_2-active {
	color: black; line-height: 18px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; font-weight: bold; text-decoration: none; background-color: white;
}
.navbartext_sub_2-active:hover {
	color: rgb(153, 0, 153);
}
.indentedTwice {
	margin-left: 60px;
}
code {
	
}
code {
	font-weight: bold;
}
.SmartList2 {
	text-indent: -13pt; margin-left: 20px;
}
.output {
	font-style: normal;
}
.home_page_title {
	color: rgb(113, 30, 187); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 28px;
}
.index-entry {
	color: blue; line-height: 20px; text-decoration: none;
}
.index-entry:hover {
	color: rgb(153, 0, 153);
}
.index-entry-sub {
	color: blue; line-height: 15px; text-decoration: none;
}
.index-entry-sub:hover {
	color: rgb(153, 0, 153);
}
.index-entry-no-link {
	color: black; line-height: 20px; text-decoration: none;
}
.toc_main {
	background-position: center; color: black; line-height: 20px; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; text-decoration: none;
}
.toc_main:hover {
	color: rgb(153, 0, 153);
}
.toc_sub {
	color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: normal; text-decoration: none;
}
.toc_sub:hover {
	color: rgb(153, 0, 153);
}
.toc_sub_2 {
	color: black; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; font-weight: normal; text-decoration: none;
}
.index-entry-sub-no-link {
	color: black; line-height: 15px; text-decoration: none;
}
.toc_sub_2:hover {
	color: rgb(153, 0, 153);
}