div.toc ol {
    list-style-type: none;
    padding: 0;
    padding-inline-start: 2ch;
}

pre.file {
    background: yellow;
    border: 10px black;
    padding: 1em;
}

div.scenario {
    background: yellow;
    padding: 1em;
}

span.capture-word  {
    font-family: monospace;
}
span.capture-text  {
    font-family: monospace;
}
span.capture-int  {
    font-weight: bold;
}
span.capture-uint  {
    font-weight: bold;
}
span.capture-number  {
    font-weight: bold;
}
span.capture-file  {
    font-family: monospace;
}

span.capture-path {
    font-family: monospace;
    font-weight: bold;
}