body { font-family: verdana, tahoma, arial, helv, helvetica, sans-serif; font-size: 11pt; font-weight: bold; background-color: rgb(255,255,255); margin-left: 6px; margin-top: 12px; }
h3 { text-align: center; }
h5 { margin-top: 0px; }
pre { padding-left: 32px; }
td { font-family: verdana, tahoma, arial, helv, helvetica, sans-serif; font-size: 10pt; font-weight: normal; text-align: left; vertical-align: top; }
td.topheadr { font-size: 14pt; color: rgb(255,255,255); font-weight: bold; text-align: center; background-color: rgb(100,100,255); padding-top: 4px; padding-bottom: 4px; }
td.nav { font-size: 8pt; font-weight: normal; text-align: center; }
td.tiny { font-size: 7pt; font-weight: normal; text-align: left; }
.toptitle { font-size: 12pt; color: rgb(0,0,255); font-weight: bold; border-bottom: solid black 1px; }
.headr1 { font-size: 12pt; font-family: arial, helv, helvetica, sans-serif; font-weight: bold; padding-top: 5px; padding-bottom: 8px; }
.headr2 { font-size: 10pt; font-family: arial, helv, helvetica, sans-serif; font-weight: bold; padding-top: 5px; padding-bottom: 8px; }
.bold { font-weight: bold; }
.emphasize { font-style: italic; }
.bigbox { border: solid black 2px; padding: 12px; }
.bio { font-family: verdana, tahoma, arial, helv, helvetica, sans-serif; font-size: 8pt; border: solid black 2px; padding: 18px; }
a:link { color: rgb(0,0,255); }
a:hover { color: rgb(0,192,0); }
a:active { color: rgb(255,0,0); }
a:visited { color: rgb(128,0,128); }