body {margin: 0 5%; padding-bottom: 0}

h2, h3  {color: #931638; text-align: center}
h2 {margin-bottom: 4px}

.toc    {font-weight: bold; padding: 2px; text-align: center}
.navtop {font-weight: bold; padding: 0px}

a:link     {color: #0000aa}
a:visited  {color: #000088}
a:hover    {color: #881133}
