body { margin: 0.3em 1em 0 1em; }
div#body { margin: 0em 20% 0 30%; font-size: 10pt; width: 40em; background-color: white; z-index: 2; font-family: georgia,times,"Times New Roman",times-roman,serif; }
div#body p { width: 25em; }
div#ibody { margin-top: 2em; font-size: 10pt; }
h1 { font-size: 2em; }
h2 { text-transform: uppercase; font-size: 1em; }
a { text-decoration: none; color: #616100; }
a:visited { text-decoration: none; color: #a1a1a1; }
div#bea { font-size: 8pt; font-family: sans-serif; color: #616100; }
div#nav { width: 15%; font-size: 8pt; position: absolute; }
pre {border-left: 1px solid black;padding-left:1em}