html {
    --thl-rot: #e4003a;
    --thl-dunkler: #9f0028;
    --theorema-blau: #1A80B6;
    --theorema-wenig-heller: #308cbd;
    --theorema-heller: #75b2d3;
    --theorema-viel-heller: #8cbfda;
    --code-blass: linen;
    --code-kraeftig: #e4d0bb; 
}

div {
    /* padding-left: 10px; */
}

label {
    padding-left: 5px
}

form>div {
    margin-bottom: 2px;
    background-color: #eeeeee;
    min-height: 1.1Em;
}

textarea {
    width: 80vw;
}

.code {
    font-family: 'Courier New', monospace;
    max-width: 95vw;
}
.code.boxed {
    border: 1px solid black;
    overflow-y: hidden; /* .boxed must only be applied to textareas if their height is adjusted via Javascript */
}

code {
    color: var(--bs-body-color);
}

.active {
    background-color: #1A80B6;
    color: antiquewhite;
}



.navbar-brand {
    padding: 0 10px;
}



.EinsZuEins {
    display: grid;
    grid-template-columns: 1fr 1fr;
    column-gap: 2.5vw;
}
.ZweiZuEins {
    display: grid;
    grid-template-columns: 2fr 1fr;
    column-gap: 2.5vw;
}
.DreiZuEins {
    display: grid;
    grid-template-columns: 3fr 1fr;
    column-gap: 2.5vw;
}

table, th, td {
    border: 1px solid black;
    border-collapse: collapse;
  }

td {
    padding: 0 1em;
}