body {
    --bs-body-font-size: 14px;
    --input-area: 20vh;
}

.output-area {
    --text-height-estimation: 32px;
    --bottom-margin: 8px;
    height: calc(100vh - var(--input-area) - var(--text-height-estimation) * 2 - var(--bottom-margin));
    border: solid grey 1px;
}

.input-area {
    min-height: var(--input-area);
    border: solid grey 1px;
}

textarea {
    resize: none;
    overflow-x: auto;
    white-space: pre;
    border: solid grey 1px;
    width: 100%;
    height: 100%
}

.output-area textarea {
    padding: 0px;
}

#submit-bt {
    box-sizing: content-box;
}

iframe {
    width: 100%;
    height: 100%;
}

#depth-limit {
    width: 4em;
    flex: unset;
}

.fullscreen {
    position: fixed;
    top: 0;
    left: 0;
    width: 100vw;
    height: 100vh;
    background-color: white;
    z-index: 9999;
}

.fullscreen-bt {
    position: absolute;
    top: 1px;
    right: 1rem;
}

.save-bt{
    position: absolute;
    top: 1px;
    right: 3.5rem;
}

.exit-fullscreen-bt {
    position: absolute;
    top: 1px;
    right: 1rem;
    z-index: 10000;
}