body {
    margin: 0;
    padding: 0;
    background-color: white;
    color: black;
    font-size: 85%;
    font-family: Arial, Helvetica, sans-serif;
}

tr {
    font-size: 85%;
}

#alltypes {
    margin-left: auto;
    margin-right: auto;
}

#alltypes td {
    padding-left: 1em;
    vertical-align: bottom;
}

td.num {
    text-align: right;
}

#header h1, #header h2 {
    margin: 0;
}

.section h2 {
    margin-top: 0;
}

code {
    font-size: 120%;
    white-space: nowrap;
}

#header {
    margin: 0;
    padding: 0.3em;
    background-color: #d8e0ff;
}

#logo {
    border: none;
    float: right;
}

#bar {
    margin: 0.5em;
    padding: 0;
    position: absolute;
    left: 0;
    width: 12em;
}

#main {
    margin: 0.5em;
    margin-top: 0;
    margin-left: 13em;
    padding: 0.5em;
}

#footer {
    text-align: center;
    font-size: 80%;
}

.section {
    padding: 0.5em;
    margin-bottom: 1em;
    background-color: #ffeaea;
}

.info {
    margin: 0;
    margin-bottom: 0.5em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    background-color: #eaeeff;
    text-align: center;
}

#spf-all {
    font-size: 200%;
}

#total {
    font-size: 200%;
}