.highlight {
    background-color: var(--bgcolor-code);
    border-radius: 2px;
    color: var(--color-code);
    overflow: scroll;
    margin-left: 0.5em;
    margin-right: 0.5em;
    padding-left: 0.5em;
    /* padding-right: 0.5em; */
}

.highlight>pre {
    margin: 0;
    max-height: 30em;
}

.lineno {
    color: #7e7963;
}

span.k, span.kt, span.kd, span.ow {
    color: #447faa;
}

span.n, span.nf, span.nt {
    color: #aa7f44;
}

span.nb, span.nc, span.nn, span.na {
    color: #aaa044;
}

span.s, span.s2, span.m {
    color: #449f9a;
}

span.c, span.c1 {
    color: #888888;
}