body {
    padding: 0;
    margin: 0;
    font-family: "Source Sans Pro", sans-serif;
    font-size: 1rem;
    line-height: 1.4;
}

.container {
    border: 1px solid #d2d2d2;
    border-radius: 5px;
    padding: 12px 16px 12px 16px;
}

.highlighted-text {
    color: black;
    background-color: white;
}

.highlighted-text {
    background-color: #fefefe;
    border: 1px solid #31333f33;
    border-radius: 5px;
    padding: 5px;
    max-height: 350px;
    overflow-y: auto;
    cursor: pointer;

    .token.prefix ~ .token:not(.prefix) {
        color: #2563eb;
    }

    .token.active {
        outline: 1px solid #444;
    }
}

.status-bar {
    min-height: 1.4em;
    padding-bottom: 12px;

    .token {
        border: 1px solid #aaa;
        border-radius: 2px;
        background: #f5f5f5;
        padding: 1px;
        margin: 1px;
        margin-right: 2px;
    }
}