a:hover { text-decoration: underline }
a:link { color: #003399; text-decoration: none }
a:visited { color: #6699cc; text-decoration: none }
body { color: #000000; font: 68% verdana, arial, helvetica }
h1 { font: 165% verdana, arial, helvetica; margin: 0px 0 5 }
h2 { font: bold 125% verdana, arial, helvetica; margin-top: 1em; margin-bottom: 0.5em }
h2 a:visited { color: #003399 }
h3 { font: bold 115% verdana, arial, helvetica; margin-bottom: 0.5em }
h3 a:visited { color: #003399 }
h4 { font: bold 100% verdana, arial, helvetica; margin-bottom: 0.5em }
h5 { font: bold 100% verdana, arial, helvetica; margin-bottom: 0.5em }
h6 { font: bold 100% verdana, arial, helvetica; margin-bottom: 0.5em }
li ol { padding-bottom: 1.5em }
ol { margin-top: 10px; margin-bottom: 10px; margin-left: 25px }
ol li { margin-bottom: 0.7em }
p { line-height: 1.5em; margin-top: 0.5em; margin-bottom: 1em }
pre { background-color: #eeeeee; margin-top: 1em; margin-bottom: 1em; margin-left: 0px; padding: 5pt }
td { font-size: 68% }
th { font-size: 68% }
ul { margin-top: 10px; margin-bottom: 10px; margin-left: 17px }
ul li { line-height: 120%; margin-bottom: 0.5em }
ul li li { list-style-type: disc }