.caption     { font-size: "80%"; font-family: Arial; font-style: italic; text-align: Center }
.highlight   { font-family: Arial; font-size: 90%; color: #000080; text-indent: -20; 
               margin-left: 20 }
.prgcode     { font-size: "80%";color: #000080; background-color: #FFFFCC; font-family: Arial; border-style: 
               solid; border-width: 1; padding-left: 2; padding-right: 2 }
h1, h2, h3, h4, h5, h6 { margin-top: 0; margin-bottom: 0 }
.footnote    { color: #C0C0C0; font-size: "60%"; text-align: Center; line-height: 100%; 
               margin-top: 12; margin-bottom: 0 }
h1           { color: #0000FF; font-size: "200%"; font-weight: bold; margin-top: 0; 
               margin-bottom: 0 }
h2           { color: #0000FF; font-size: "180%"; font-weight: bold; margin-top: 0; 
               margin-bottom: 0 }
h3           { color: #0000FF; font-size: "150%"; font-weight: bold; margin-top: 0; 
               margin-bottom: 0 }
h4           { font-size: "100%"; color: #000080; background-color: #CCFFFF; margin-top: 0; 
               margin-bottom: 3 }
tbody        { font-size: "80%" }
p            { margin-top: 0; margin-bottom: 0 }
ul           { margin-top: 0; margin-bottom: 0 }
ol           { margin-top: 0; margin-bottom: 0 }
dfn, dd      { font-family: Arial; font-size: 90%; color: #000080; text-indent: -20 }