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

body, p, blockquote, li, td {font-family: verdana, sans-serif; font-size: 11pt}
pre, tt {font-family: "courier new", monospace; font-size: 10pt}

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

.toc, .navtop {font-family: arial, sans-serif; font-weight: bold}
.toc    {padding: 2px; text-align: center}
.navtop {padding: 0px}

a                    {font-weight: bold; font-family: arial, sans-serif}
a.nob, a#nob, #nob a {font-weight: normal; font-family: verdana, sans-serif}
a:link        {color: #0000aa}
a:visited     {color: #000088}
a:hover       {color: #881133}

hr.artdiv {border: 1px solid #b3b3b3; height: 1px; width: 70%; text-align: center}