html, body, div.wrapper             { font-family: Helvetica, sans-serif; background-color: white; color: #444444;
                                      height: 99%; min-height: 99%; width: 99%; }
html>body, html>body div.wrapper    { height: auto; }
div.wrapper                         { position: absolute; left: 0px; top: 0px; }
div.footer                          { position: absolute; bottom: 0px; width: 100%; padding: 0.5em; padding-right: 0em;
                                      padding-bottom: 0em; text-align: right; }
div.body                            { margin-bottom: 4.5em; height: auto; padding: 0.5em; padding-right: 0em; width: 100%; }
table.nav                           { width: 100%; border: none; border-spacing: 5px 0px; }
table.nav td			            { background-color: #996eaf; height: 1.75em; padding-left: 0.5em; padding-right: 0.5em;
                                      border: 3px solid #804295; width: 170px; text-align: center; }
table.nav td.spacer     		    { background-color: inherit; border: none; width: auto; }
table.nav td a			            { color: #eeeeee; text-decoration: none; }
h1.title                            { text-align: center; font-family: Times, serif; }
div.divider                         { border-bottom: 1px dotted black; }
img                                 { border: none; }
table.impl                          { margin-bottom: 1em; }
table.impl td.hdr                   { font-weight: bold; border-bottom: 1px solid black; padding-top: 1em; }
table.impl td.hdr1                  { font-weight: bold; border-bottom: 1px solid black; padding-top: 0px; }
sup                                 { font-size: xx-small; }
div.code_link                       { border: 2px outset black; background-color: #f1f1f1; padding: 1em 0.5em 0em 0.5em; margin-bottom: 1em; }
div.footer span.copy                { font-size: smaller; }