
p   { font-size: 12px; font-family: Verdana, Arial, sans-serif; line-height: 16px; margin-top: 0; margin-bottom: 6px; padding-right: 6px }
.smallhead  { font-size: 12px; font-family: Verdana, Arial, sans-serif; font-weight: bold; line-height: 24px }
li      { font-size: 12px; line-height: 18px }
body  { color: black; font-family: Verdana, Arial, sans-serif; background-color: white }
.bigger { font-size: 12px; font-weight: bold; line-height: 15px }
.highlight { color: #36c }
a:link { color: #36c }
a:visited  { color: #36c }
a:hover { color: #090 }
a:active { color: #9cf }
h3  { font-size: 14px; font-weight: bold; margin: 10px 0 8px }
h1  { font-size: 16px; font-family: Verdana }
code { color: #666666; font-weight: bold; white-space: normal }
.smalltext  { font-size: 9px }
h2  { font-size: 14px; font-weight: bold; margin: 0.83em 0 }
.bigger3 { font-size: 16px; line-height: 22px }
.backcolor { background-color: #d0deec }
.medium { font-size: 11px; line-height: 14px }
.highlight2  { color: #fff; background-color: #55c535 }
.highlight3 { color: #f30 }
.highlight4 { color: #f90 }
.bigger2  { font-size: 14px; line-height: 20px }
.boxtext { font-size: 12px; line-height: 16px; background-color: #d4e4f4; margin-left: 5px; padding: 2px 6px; width: 250px; border: solid 1px #039 }
.tablebox  { padding: 2px; border: solid 1px #36c }
.snippetabbreviation { color: #990000; font-weight: bolder }
.snippetcontent { color: #008000; font-weight: bolder }
.faint { color: #999999 }
