h1 {  font-family: Verdana, Arial, Helvetica, sans-serif; color:#000000; 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 {  color: purple; text-align: left}
.indented {  margin-left: 20px}
td {  font-family: Verdana, Arial, Helvetica, sans-serif}
td {  font-size: 12px}
td {  }
th { background-color: #E1D9E8; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold}
.description {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-style: italic; font-weight: bold}
li {  clip:   rect(50px   )}
li {  }
li {  }
li {  }
li {  }
li {  }
.navbartext{font-family: Verdana, Arial, Helvetica, sans-serif;font-size:12px;font-weight:bold;color:black;text-decoration: none; line-height: 18px;}
.navbartext:hover{color:#990099;}
.navbartext-active{font-family: Verdana, Arial, Helvetica, sans-serif;font-size:12px;font-weight:bold;color:black;text-decoration: none;background-color:white; line-height: 18px;}
.navbartext-active:hover{color:#990099;}


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 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none ; color: #000000; line-height: 18px;}
.navbartext_sub:hover{color:#990099;}
.navbartext_sub-active { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: black; text-decoration: none ; background-color: white; line-height: 18px;}
.navbartext_sub-active:hover{color:#990099;}


a {  }
a {  }
li {  }
li {  }
p {  }
.navbartext_sub_2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; color: black; text-decoration: none; line-height: 18px;}
.navbartext_sub_2:hover{color:#990099;}
.navbartext_sub_2-active { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; font-weight: bold; color: black; text-decoration: none ; background-color: white; line-height: 18px;}
.navbartext_sub_2-active:hover{color:#990099;}

.indentedTwice { margin-left: 60px}
code {  }
code {  font-weight: bold}
.SmartList2 {  text-indent: -13pt; margin-left: 20px}
.output {  font-style: normal}
.home_page_title {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 28px; color: #711EBB}
.index-entry {  clip:   rect(   ); text-decoration: none; line-height: 20px; color: blue}
.index-entry:hover{color:#990099;}
.index-entry-sub { clip: rect( ); text-decoration: none; line-height: 15px; color: blue}
.index-entry-sub:hover{color:#990099;}
.index-entry-no-link { clip: rect( ); text-decoration: none; line-height: 20px; color: black }
.toc_main { font-family: Verdana, Arial, Helvetica, sans-serif;font-size:12px;font-weight:bold;color:black;text-decoration: none; ; line-height: 20px; background-position: center}
.toc_main:hover{color:#990099;}
.toc_sub { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none ; color: #000000; font-weight: normal}
.toc_sub:hover{color:#990099;}
.toc_sub_2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; color: black; text-decoration: none ; font-weight: normal}
.index-entry-sub-no-link { clip: rect( ); text-decoration: none; line-height: 15px; color: black }
.toc_sub_2:hover{color:#990099;}
.toc_screenshot_2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; color: black; text-decoration: none ; font-weight: normal; font-style: italic}
.toc_screenshot_2:hover{color:#990099; text-decoration: none; font-style: italic}
.toc_info { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none ; color: #0000FF; font-weight: normal; font-style: normal}
.toc_info:hover{color:#990099;}
.toc_info_2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; color: #0000FF; text-decoration: none; font-weight: normal; font-style: normal}
.toc_info_2:hover{color:#990099;; font-style: normal}
.deflink {color: green}
.definition {
	padding: 4px;
	text-decoration: none;
	color: #000000;
	background-color: #FFFFCC;
	border: thin solid #000066;
}