body { background-color: #white; color: black; font-family: sans-serif;
       margin: 0 }
table { width: auto; margin-left: auto; margin-right: auto;
        border-collapse: collapse; font-size: small }
h1 { font-family: serif; font-size: x-large; text-align: center; color: red;
     letter-spacing: -1px }
tr { border-top: dotted thin silver }
tr:first-child { border-top: none }
td { padding-left: 0.5em; padding-right: 0.5em }
td.n { text-align: right; }
td.f { color: gray; font-style: italic; }
div.sortlinks { text-align: center; font-size: x-small; margin-top: 1em;
                margin-bottom: 1em; }
div.page-heading { background-color: #fc0; color: black;
                   font-family: serif; font-size: 300%; font-weight: bold;
                   padding: 0.2em 0 0 5%; border-bottom: solid 1px black;
                   letter-spacing: -1px }
div.page-heading a { text-decoration: none; color: black; }
div.page-footer { font-size: 80%; color: silver; background-color: #333;
                  text-align: center; border-top: solid 1px black;
                  padding: 1em 0.5em 0.5em 0.5em }
div.page-footer a { color: white; text-decoration:none }