#coverage-section {
  margin-top: 1rem;
}

h1, h2 {
    margin: 1rem 0;
}

textarea, input {
  background-color: var(--light-dark-background-color);
  color: var(--light-dark-color);
}

#text-coverage-controls {
    display: flex;
    flex-direction: row;
    justify-content: space-between;

    #load-sample-text-button {}
    #check-coverage-button {}
    #use-user-words-checkbox {}
}

#coverage-text {
    display: block;
    box-sizing: border-box;
    width: 100%;
    /* max-width: 800px; */
    padding: 12px;
    margin-bottom: 10px;
    font: inherit;
    line-height: 1.5;
    resize: vertical;
}

#coverage-text-result {
    max-width: 800px;
    margin: 20px 0;
    line-height: 1.7;
    white-space: pre-wrap;
    overflow-wrap: break-word;
}

.word-in,
.word-out {
    border-radius: 3px;
    padding: 1px 2px;
    color: black
}

.word-in {
    background-color: #c8f7c5;
}

.word-out {
    background-color: #ffc7c7;
}

#coverage-result button {
    margin-top: 10px;
}