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

.status-bar {
    display: none;
}

.highlighted-text {
    border: 1px solid #d2d2d2;
    border-radius: 5px 5px 5px 5px;
    padding: 2px;
    cursor: pointer;

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

    &.frozen {
        .token {
            opacity: 0.75;

            &.context, &.active {
                opacity: 1;
            }

            &.context {
                text-decoration: #999 underline;
            }
        }
    }
}