.topmenu {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 9pt; color: #FFFFFF; text-decoration: none; font-weight: bold}
.topmenu a {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 9pt; color: #FFFFFF; text-decoration: none; font-weight: bold}
.topmenu a:visited {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 9pt; color: #FFFFFF; text-decoration: none; font-weight: bold}
.topmenu a:hover {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 9pt; color: #FFFF00; text-decoration: none; font-weight: bold}
.copy {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 11pt; font-weight: bold; color: #666666}
.menu {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #666666}
.menu a {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #666666}
.menu a:visited {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #666666}
.menu a:hover {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: underline; letter-spacing: 0pt; color: #1C5FA8}
.reg_color { font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 9pt; text-decoration: none }
.product {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #FFFFFF}
.product a {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #FFFFFF}
.product a:visited {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #FFFFFF}
.product a:hover {  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 11pt; text-decoration: none; letter-spacing: 0pt; color: #FFFFFF}
.mono {  font-family: "Monaco", "Courier New", "Courier", "mono"}
.mono a {  font-family: "Monaco", "Courier New", "Courier", "mono"}
.mono a:visited {  font-family: "Monaco", "Courier New", "Courier", "mono"}
.mono a:hover {  font-family: "Monaco", "Courier New", "Courier", "mono"}.table { font-family: "Arial", "Helvetica", "sans-serif"; color: #333333; font-size: 9pt}
h1 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; text-decoration: none; letter-spacing: 0pt; color: #333333; font-size: 13pt; clip:   rect(   ); padding-top: 5px}
h2 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; border-width: 0px 0px thin; border-color: black black #999999; font-size: 12pt}
h3 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 11pt; font-weight: bold; color: #FF6600; background-color: #eeeeee}
h4 {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; font-size: 10pt; font-weight: bold; text-decoration: none}
p {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; color: #333333; font-size: 9pt}
a {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; text-decoration: none}
a:hover {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; text-decoration: none}
a:visited {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; color: #0000FF; text-decoration: none}
td {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; color: #333333; font-size: 9pt}
body {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; color: #333333; font-size: 9pt}
li {  font-family: "Verdana", "Arial", "Helvetica", "sans-serif"; color: #333333; font-size: 9pt}
  strong.keyword { color: Red; }
  p.example      { text-indent: 1em;
                   color: Navy;
                   font-weight: bold;
                   font-family: "monospace"; ; font-size: 9pt}
  code           { color: Navy;
                   font-family: monospace; }
  code.example   { color: Navy;
                   font-weight: bold;
                   font-family: monospace; }
  code.operator  { color: Navy;
                   font-family: monospace;
                   font-weight: bold; }   
.boxtitle {  background-color: eeeeee; border-color: black black #666666; border: thin #999999 solid}