<STYLE type="text/css">
<!--
body                      { background: white; color: black }
.nav                      { background: #007f7f; color: white }
a.nav:link, a.nav:visited { background: #007f7f; color: white }
a.nav:active              { background: #007f7f; color: red }
.path                     { background: #007f7f; color: white;
                            font-weight: bold }
.thispage                 { background: #007f7f; color: #ffff33;
                            font-weight: bold }
div.indent                { margin-left: 0.3em }
.updatelog                { color: #0000c0; font-size: small;
                            font-style: italic; text-align: right }
a.copyright               { color: black; font-size: small; font-style: italic;
                            text-decoration: none; text-align: center }
table.inline              { background: #c0ffff }
-->
</STYLE>
