html {
    font-size: x-small;
}

code {
    font-weight: bold;
}

/* Hide table headers which are not useful on the printout and waste space. */
thead {
    display: none;
}

table.korrektur {
    width: 100%;
}

table.korrektur td {
    padding-left: 0.5em;
    vertical-align: top;
}
table.korrektur td:first-child {
    width: 100%;
}
table.korrektur td:nth-child(2) { /* "Punktabzug" */
    white-space: nowrap;
    text-align: center;
    font-weight: bold;
}
table.korrektur-plain td:nth-child(2) {
    text-align: inherit;
    font-weight: inherit;
}
table.korrektur td:nth-child(3) { /* "Anmerkung" */
    white-space: nowrap;
}
table.korrektur td.korrektur-indent {
    padding-left: 1em;
}