@charset "UTF-8";
.NBE9F3B2E--div {
    display: block;
    min-height: 20px;
    margin-bottom: 30px;
    font-family: monospace;
    font-size: 13px;
    font-weight: 100;
    color: #333333;
    background-color: #f0f0f0;
    background-color: #0000000f;
    padding: .5em .5em .5em 1em;
    border-left: 4px solid #D9D9D9;
    border-left: 4px solid #00000027;
    overflow: auto;
    white-space: pre;
    line-height: 19px;
}
.NBE9F3B2E--div p {
    margin: 0;
}
.NBE9F3B2E--div b {
    color: #12A4E2;
    font-weight: 700;
}