body {
    font-family: Helvetica, Arial, Geneva, sans-serif;
}

footer p {
    font-size: 0.8em;
}

code {
    font-size: 1.2em;
}

h1 {
    font-size: 1.7em;
}

h2 {
    font-size: 1.3em;
    border-width: 1px 0 0 0;
    border-color: #808080;
    border-style: solid;
    padding-top: 0.5em;
}

h3 {
    font-size: 1.2em;
    margin-bottom: 0;
}

table {
    border-collapse: collapse;
    border-width: 0px;
    margin: 0.5em;
}

div.table, div.table_scroll {
    background-color: #f0f0f0;
    border-width: 1px;
    border-style: solid;
    border-color: #c0c0c0;
    width: fit-content;
}

div.table_scroll {
    max-height: 400px;
    overflow-y: scroll;
}

th, td {
    padding: 0.1em 0.5em;
    text-align: left;
}

tr {
    border-width: 1px 0px;
    border-style: solid;
    border-color: #808080;
}

tr:last-child {
    border-width: 0px;
}

p.table_links {
    font-size: small;
    margin-top: 0;
}

p.count em {
    font-weight: bold;
    font-style: normal;
}

p.nothing {
    font-weight: bold;
}

a.section_link {
    font-size: small;
    font-weight: normal;
}

footer p {
    border-width: 1px 0 0 0;
    border-color: #808080;
    border-style: solid;
    padding-top: 0.3em;
}