p          { font-size: 12px }
pre        { font-size: 12px }
li         { font-size: 12px }
h4         { font-family: Arial, Helvetica, sans-serif;
             font-size: 12px;
             font-weight: bold;
             color: #3333CC;
             margin-top: 24px;
             margin-bottom: 2px }
h3         { font-family: Arial, Helvetica, sans-serif;
             font-size: 14px;
             font-weight: bold;
             color: #3333CC;
             margin-top: 24px;
             margin-bottom: 2px }
h2         { font-family: Arial, Helvetica, sans-serif;
             font-size: 18px;
             font-weight: bold;
             color: #3333CC;
             margin-top: 2px;
             margin-bottom: 2px }
h1         { font-family: Arial, Helvetica, sans-serif;
             font-size: 24px;
             font-weight: bold;
             color: #3333CC;
             margin-top: 2px;
             margin-bottom: 2px }
.highlightsmall { font-size: 10px;
                  color: #3333CC }
.highlight      { color: #3333CC }
.highlightlarge { font-size: 14px;
                  color: #3333CC }
.highlightxlarge { font-size: 18px;
                  color: #3333CC }
.navsmall  { font-family: Arial, Helvetica, sans-serif;
             font-size: 10px }
.nav       { font-family: Arial, Helvetica, sans-serif;
             font-size: 12px }
.navlarge  { font-family: Arial, Helvetica, sans-serif;
             font-size: 14px }
.navxlarge { font-family: Arial, Helvetica, sans-serif;
             font-size: 18px }
.navxxlarge { font-family: Arial, Helvetica, sans-serif;
             font-size: 24px }
.navselectsmall { font-family: Arial, Helvetica, sans-serif;
                  font-size: 10px;
                  color: #3333CC }
.navselect { font-family: Arial, Helvetica, sans-serif;
             font-size: 12px;
             color: #3333CC }
.navdark   { color: #6666CC;
             font-family: Arial, Helvetica, sans-serif;
             font-size: 9px }
.navpale   { color: #9999FF;
             font-family: Arial, Helvetica, sans-serif;
             font-size: 9px }
.navpaler  { color: #CCCCFF;
             font-family: Arial, Helvetica, sans-serif;
             font-size: 9px }
.navwhitesmall { color: #FFFFFF;
                 font-family: Arial, Helvetica, sans-serif;
                 font-size: 10px }
.navwhite  { color: #FFFFFF;
             font-family: Arial, Helvetica, sans-serif;
             font-size: 12px }
.navwhitelarge  { color: #FFFFFF;
             font-family: Arial, Helvetica, sans-serif;
             font-size: 14px }
.navwhitexlarge  { color: #FFFFFF;
             font-family: Arial, Helvetica, sans-serif;
             font-size: 18px }
.navgraysmall { color: #666666;
                 font-family: Arial, Helvetica, sans-serif;
                 font-size: 10px }
.footnote  { font-size: 10px;
             color: #666666 }
.subhead   { font-size: 10px }
.midhead   { font-size: 12px }
.bighead   { font-size: 18px }