body { background-color: white; color: black; font-family: sans-serif; }
table { width: auto; margin-left: auto; margin-right: auto;
        border-collapse: collapse; font-size: small }
h1 { font-size: medium; }
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; }