div.code pre {
    counter-reset: line-number;
    font-weight: bold;
    white-space: normal;
}
div.code pre span.line {
    counter-increment: line-number;
    display: list-item;
    margin-left: 48px;
    white-space: pre;
}
div.code pre span.line span.comment {
    font-weight: normal;
}
div.code pre span.line::marker {
    color: gray;
    content: counter(line-number) " | ";
    font-weight: normal;
}
div.term kbd {
    font-weight: bold;
}