div.task, div.list {
    max-width: 600px;
}

h4 {
    margin-bottom: 0.5em;
}

pre {
    margin-left: 10px;
}
pre.req {
    border: 1px solid darkmagenta;
}
pre.resp {
    border: 1px solid darkgreen;
}

a.disabled {
    color: lightgray;
}

a#toList {
    font-size: smaller;
}

ol.list-alpha {
    list-style-type: lower-latin;
}
ol.list-number {
    list-style-type: decimal;
}