a {  color: #CC3300; text-decoration: underline}
body {  font-family: Arial, Helvetica, sans-serif; font-size: 10px}
td { font-family: Arial, Helvetica, sans-serif; font-size: 10px }
a:hover {  text-decoration: none; color: #FF6600 }
.leftcolsub {  font-size: 12px; font-weight: bold; color: #CC3300; text-decoration: none}
.secondary-link {  color: #006699}
.tertiary-head {  font-size: 16px; color: #cc3300; font-weight: bold}
.tertiary-sub {  font-size: 14px; color: #006699; font-weight: bold}
.twelveptbold {  font-size: 12px; font-weight: bold}
.twelvept { font-size: 12px }
.tenpt { font-family: Arial, Helvetica, sans-serif; font-size: 10px }
p { font-size: 12px }
ul { margin: 1em; list-style: disc outside }
li { margin: 1em 0em 0em 1em; font-size: 12px }
br.12px { font-size: 12px }
p.12px { font-size: 12px }
p.red { color: #cc3300 }
p.header { font-size: 16px;  color: #006699; font-weight: bold }
ul.small { margin: 0em 0em 0em 1em; }

#examples td {border: 1px solid gray; padding: 0.5em; vertical-align: top;}
#content div.summary {float: right; width: 30%; font-size: smaller;
  border: 2px solid #006; background: #DDE; margin: 2em 0 1em 1.5em; padding: 0;}
#content div.summary h3 {margin: 0; padding: 0.25em 0.1em 0.15em;
  background: #006; color: #FFF; text-align: center;}
#content div.summary ul {margin: 0; padding: 0.5em 0.5em 0.75em 1.75em;}
a.simplelink {font-weight: normal !important;}