body {
    text-align: justify;
}

div.body {
    width: 40em;
    margin: 0 auto;
    padding: 1em;
}

h1 {
    text-align: center;
    font-size: 200%;
    font-style: normal;
    font-weight: bold;
}

h2 {
    text-align: left;
    font-size: 150%;
    font-style: normal;
    font-weight: bold;
}

h3 {
    text-align: left;
    font-size: 120%;
    font-style: normal;
    font-weight: bold;
}

code {
    font-family: monospace;
    whitespace: pre;
    background-color: #afcfff;
    color: #000000;
}

table th, td {
    border: none;
    text-align: left;
    vertical-align: top;
    padding: 0.2em 1em 0.2em 0.2em;
}
