html {
    font-family: "Source Sans 3", "Source Sans Pro", Arial, sans-serif;
}
body {
    margin: 0px;
    padding: 10px;
    display: flex;
    flex-flow: column nowrap;
    gap: 10px;
    min-height: 100vh;
    box-sizing: border-box;
}
h1 {
    padding: 0px;
    margin: 0px;
}
details {
    border: 1px solid #aaa;
    border-radius: 4px;
    padding: 0.5em 0.5em 0;
    max-width: 90vw;
}
summary {
    font-weight: bold;
    margin: -0.5em -0.5em 0;
    padding: 0.5em;
}
details[open] {
    padding: 0.5em;
}
details[open] summary {
    border-bottom: 1px solid #aaa;
    margin-bottom: 0.5em;
}
details p:first-of-type {
    margin-top: 0px;
}
details p:last-of-type {
    margin-bottom: 0px;
}
form {
    flex: 1 1 auto;
    display: flex;
    flex-flow: row nowrap;
    align-items: stretch;
    background-color: #f3f3f3;
    padding: 1rem;
    min-height: 10%;
    gap: 10px;
}
.box-container {
    flex-flow: column nowrap;
    display: flex;
    justify-content: start;
    align-items: flex-start;
    border: #bdcbe1 1px solid;
}
#text-div, #results-div {
    flex: 1 1 0;
    min-width: 0;
}
.header {
    background-color: #e1e7f1;
    border-bottom: #bdcbe1 1px solid;
    width: 100%;
    box-sizing: border-box;
    padding: 0.2rem;
}
.header label {
    font-weight: bold;
}
.header .file-buttons {
    margin-left: 1rem;
}
.hidden-file-input {
    display: none;
}
.input-box {
    flex: 1 1 auto;
    width: 100%;
}
.input-box:not(.lib-config) {
    font: inherit;
    font-size: 90%;
}
div.input-box:not(.lib-config) {
    overflow: auto;
    background-color: #fff;
}
textarea.input-box {
    box-sizing: border-box;
    border: none;
    resize: none;
}
pre {
    font: inherit;
    margin: 0;
    white-space: pre-wrap;
    word-break: break-word;
}
#controls {
    padding: 0 5px;
    display: flex;
    flex-flow: column nowrap;
    gap: 5px;
    min-width: 15em;
    max-width: 18em;
    overflow: auto;
}
#controls input[type="submit"], #controls select {
    font: inherit;
}
#controls input[type="submit"] {
    font-weight: bold;
}
#controls fieldset {
    border: #bdcbe1 1px solid;
}
#controls fieldset legend {
    font-weight: bold;
    font-size: 90%;
}
#stage-select {
    width: 100%;
    box-sizing: border-box;
}

#results .stage-block {
    padding: 0.5em;
    border-bottom: 1px solid #e1e7f1;
}
#results .stage-block:last-child {
    border-bottom: none;
}
#results .stage-block h3 {
    margin: 0 0 0.3em 0;
    font-size: 90%;
    color: #35507a;
}
#results .stage-block.final {
    background-color: #f5f9ff;
}
#results .error {
    color: #a3111c;
    padding: 0.5em;
}

.gutter {
    background-color: #f3f3f3;
    background-repeat: no-repeat;
    background-position: 50%;
}
.gutter.gutter-horizontal {
    background-image: url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAeCAYAAADkftS9AAAAIklEQVQoU2M4c+bMfxAGAgYYmwGrIIiDjrELjpo5aiZeMwF+yNnOs5KSvgAAAABJRU5ErkJggg==');
    cursor: col-resize;
}
.split {
    display: flex;
    flex-direction: row;
}