body {
    margin: 0;
    padding: 0;
    background: #AF1F00 url('background.svg') fixed no-repeat center/100%;
    color: #FFEF00;
    font-family: sans-serif;
    display: flex;
    flex-direction: column;
    justify-content: space-between;
    min-height: 100vh;
}

a {
    text-decoration: none;
    font-weight: bold;
    color: #CF3F1F;
}

a:visited {
    color: #AF1F00;
}

header, footer {
    background-color: #FFEF00;
    color: #AF1F00;
    text-align: center;
}
header {
    margin: 0 0 3rem;
    border-bottom: 1rem solid #DFCF00;
}
header h1 {
    margin: 0.5rem 0;
    padding: 0rem 2rem;
    font-family: serif;
}
footer {
    margin: 3rem 0 0;
}
footer p {
    margin: 0.3rem 0;
}
nav ul {
    margin: 0.3rem 0;
    padding: 0;
    list-style-type: none;
}
nav ul li {
    display: inline-block;
    margin: 0 2rem;
    padding: 0;
}

main {
    min-width: 50vh;
    max-width: 60rem;
    margin: 1rem auto;
    padding: 1.5rem 4rem;
    background: #FFF;
    color: #111;
    border-top: 1rem solid #EFDF00;
    border-left: 1rem solid #EFDF00;
    border-right: 1.5rem solid #DFCF00;
    border-bottom: 1.5rem solid #DFCF00;
    overflow: auto;
}

main figure {
    text-align: center;
}

main figure img {
    max-width: 100%;
}

main table {
    font-size: 75%;
    border-collapse: collapse;
    border: 1px solid #555;
}
main table th {
    background-color: #555;
    color: #FFF;
    padding: 0.4rem;
}
main table td {
    border: 1px solid #555;
    padding: 0.2rem 0.4rem;
}

main h3 code {
    margin-left: 0.6rem;
}

.sourceCode .kw {
    font-weight: bold;
    color: #1F2F6F;
}
.sourceCode .dt {
    font-weight: bold;
    color: #1F5F2F;
}
.sourceCode .ot {
    color: #666;
}
.sourceCode .st {
    color: #007F00;
}