@charset "utf-8";
a:link     { color: darkblue; }
a:visited  { color: midnightblue; }
div        { margin-left: 10%; margin-right: 10%; }
h1         { border: none; }
p          { text-indent: 1em; }
.normal    { text-indent: 0em; }
.doclist   { text-align: left; padding-top: 1.0em; padding-bottom: 1.0em; }
.navfooter { text-align: center; padding-top: 1.0em; padding-bottom: 1.0em; border-top: 0.1em solid grey; }
.navheader { text-align: center; padding-top: 1.0em; padding-bottom: 1.0em;  border-bottom: 0.1em solid grey; }