.ipo th, .ipo td {
    text-align: center
}

blockquote.pseudocode {
    border-left: 0.5rem solid #dee2e6
}

.pseudocode .module {
    margin-top: 1rem
}

.pseudocode .module > div {
    margin-left: 1rem;
    text-indent: -1rem
}

blockquote.pseudocode .module > div {
    margin-left: 0.5rem;
    text-indent: -0.5rem
}

.pseudocode .module > div > div,
.pseudocode .module > div > div > div,
.pseudocode .module > div > div > div > div,
.pseudocode .module > div > div > div > div > div,
.pseudocode .module > div > div > div > div > div > div {
    margin-left: 1.5rem;
    text-indent: -1rem
}

.pseudocode .verb {
    font-weight: bold
}

.source-code h2 {
    display: inline;
    font-size: 1.25rem
}

.source-code .downloads {
    display: inline;
    font-style: italic;
    padding-left: 0.25rem
}

.source-code .downloads::before {
    content: "( "
}

.source-code .downloads::after {
    content: " )"
}

.source-code pre {
    border: 1px solid #dee2e6;
    padding: 1rem
}

.test-data th, .test-data td {
    text-align: center
}

main mark {
    background-color: greenyellow;
    padding: .2em 0
}

main .mark {
    background-color: greenyellow
}