body {  color: #333300; background-color: #ccffcc; font-size: 11pt }
h1 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 14pt }
h2 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 12pt }
h3 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 11pt; font-style: italic }
div#intro {  margin-left: 50px; margin-right: 20px; font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 10pt; line-height: 120%}
a:active {  color: #006600}
a:hover {  color: #006600}
a:link {  color: #666600}
a:visited {  color: #339900}
div#copyright {  font-size: 9pt}
ul.alphabet { margin-left: 0em }
ul.alphabet li { list-style-type: none }
// ul.terms { display: none; margin-left: 1em }
ul.terms { display: block; margin-left: 1em }
ul.terms li { list-style-type: disc }
.alpha { cursor: hand }
body.toc {  background-color: #CCCC99; font-size: 10pt }
.toidx { text-decoration: none; font-family: font-family: "Verdana", "Arial", "Helvetica", "sans-serif" }
p.see { font-weight: bold; color: #333333 }