.highlight-blue {
    width: 100%;
    display: block;
    background-color: lightblue;
}

.highlight-green {
    width: 100%;
    display: block;
    background-color: lightgreen;
}

.highlight-yellow {
    width: 100%;
    display: block;
    background-color: lightyellow;
}

.jwt-colorized {
    /* inline-size: 1200px; */
    inline-size: 100%;
    overflow-wrap: break-word;
}

.preview {
    background-color: #f5f5f5;
    border: 1px black;
    padding: 5px;
    width: 98%;
    max-height: 400px; 
    /* overflow: auto; */
    overflow: hidden;
}

.thin-border {
    border: 1px blue dashed;
}