h3 {
    margin-top: 0;
}

.is-wiki {
    margin: 1em 0 0 2em;
}

.is-note, .is-pass, .is-fail, .is-warn {
    margin-left: 4em;
}

.is-pass {
    background: #CFC;
}

.is-fail {
    background: #FCC;
    font-weight: bold;
}

.is-warn {
    background: #FFC;
}

.is-obsolete {
    color: gray;
}

.is-subnote {
    margin-left: 6em;
}

details summary div:only-child {
    display: inline-block;
}