body   { font-size: 9pt; font-family: Georgia, "Times New Roman", Times, serif }
p   { font-size: 9pt; font-family: Georgia, "Times New Roman", Times, serif }
h1    { color: navy; font-size: 13pt; font-family: Verdana, Helvetica; font-weight: bold }
td  { font-size: 9pt; font-family: Verdana, Helvetica }
h2    { color: navy; font-size: 11pt; font-family: Verdana, Helvetica; font-weight: bold }
h3  { font-size: 9pt; font-family: Verdana, Helvetica; font-weight: bold }
.down { color: gray; font-size: 7pt; font-family: Verdana, Helvetica }
.top  { color: gray; font-size: 9pt; font-family: Helvetica; font-weight: bold }
a.top:hover { color: green; font-size: 9pt; font-family: Helvetica; font-weight: bold; text-decoration: underline }
a.top:link { color: green; font-size: 9pt; font-weight: bold }
a    { color: maroon; font-family: Verdana, Helvetica; text-decoration: none }
a:link { color: gray; font-family: Verdana, Helvetica }
menu { color: black; font-size: 9pt; font-family: Verdana, Helvetica }
a:hover  { color: gray; font-family: Verdana, Helvetica; text-decoration: underline }
a:active  { color: gray; font-family: Verdana, Helvetica; font-weight: bold }
a.menu:hover    { color: maroon; font-size: 9pt; font-family: Verdana, Helvetica; font-weight: normal; font-stretch: condensed }
a.menu:link    { color: black; font-size: 9pt; font-family: Verdana, Helvetica }
element { }
.menu  { color: black; font-size: 9pt;