body {
    margin: 0;
}

.code-block {
    display: block;
    font-family: monospace;
    white-space: pre-wrap;
    overflow-wrap: break-word;
    margin-top: 1em;
    font-size: 110%;
}

.info-header {
    border-bottom: 1px solid;
    font-weight: bold;
    font-family: sans-serif;
}

.running {
    display: none;
}

.minloglink {
    font-size: 80%;
}

.minlogheader {
    display: flex;
}

.headerContainer {
    overflow: hidden;
}

.headerForms {
    padding: 1em 1em 0.25em 1em;
    flex-grow: 1;
}

.urlForm {
    display: flex;
}

.urlForm form {
    display: flex;
    justify-content: flex-end;
    flex: 1;
}

.urlForm input[type="text"] {
    flex: 1;
}

.toolbarContainer {
    border-top: 1.5px dotted rgb(93, 101, 116);
    position: relative;
}

.splitpaneContainer {
    flex: 1;
    position: relative;
    border-top: 1.5px dotted rgb(93, 101, 116);
}

.monacoContainer {
    height: 98%;
    width: 100%;
    margin: 1ex 0em 1ex -1.5ex;
    padding-right: 10px;
    overflow: hidden;
}

.infoContainer {
    margin: 1ex;
}

.infoview-buttons {
    cursor: pointer;
    margin-right: 1ex;
    display: block;
    float: right;
}

.toggleDoc {
    margin-top: 1em;
    cursor: pointer;
    white-space: pre-wrap;
}

/* https://alligator.io/css/collapsible/ */
.wrap-collabsible {
    margin-bottom: 1.2rem 0;
}

input[type="checkbox"]#collapsible {
    display: none;
}

.lbl-toggle {
    display: block;
    text-align: center;
    color: #222;
    cursor: pointer;
    transition: all 0.25s ease-out;
}

.lbl-toggle:hover {
    color: #44a;
}

.lbl-toggle::before {
    content: " ";
    display: inline-block;

    border-top: 5px solid transparent;
    border-bottom: 5px solid transparent;
    border-left: 5px solid currentColor;
    vertical-align: middle;
    margin-right: 0.7rem;
    transform: translateY(-2px);

    transition: transform 0.2s ease-out;
}

.toggle:checked + .lbl-toggle::before {
    transform: rotate(90deg) translateX(-3px);
}

.collapsible-content {
    max-height: 0px;
    overflow: hidden;
    transition: max-height 0.25s ease-in-out;
}

.toggle:checked + .lbl-toggle + .collapsible-content {
    max-height: 10em;
}

.toggle:checked + .lbl-toggle {
    border-bottom-right-radius: 0;
    border-bottom-left-radius: 0;
}

@media screen and (max-width: 800px) {
    .logo {
        display: none;
    }
    .running {
        display: inline;
    }
    .minlogheader {
        font-size: 80%;
    }
    .minloglink {
        font-size: 110%;
    }
}

@media screen and (max-width: 450px) {
    .url {
        display: none;
    }
}

.Resizer {
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;
    background: #000;
    opacity: 0.2;
    z-index: 1;
    -moz-background-clip: padding;
    -webkit-background-clip: padding;
    background-clip: padding-box;
}

.Resizer:hover {
    -webkit-transition: all 2s ease;
    transition: all 2s ease;
}

.Resizer.horizontal {
    background-color: gray;
    height: 11px;
    margin: 5px 0;
    border-top: 5px solid rgba(255, 255, 255, 0);
    border-bottom: 5px solid rgba(255, 255, 255, 0);
    cursor: row-resize;
    width: 100%;
}

.Resizer.horizontal:hover {
    border-top: 5px solid rgba(0, 0, 0, 0.5);
    border-bottom: 5px solid rgba(0, 0, 0, 0.5);
}

.Resizer.vertical {
    background-color: gray;
    width: 11px;
    border-left: 5px solid rgba(255, 255, 255, 0);
    border-right: 5px solid rgba(255, 255, 255, 0);
    cursor: col-resize;
}

.Resizer.vertical:hover {
    border-left: 5px solid rgba(0, 0, 0, 0.5);
    border-right: 5px solid rgba(0, 0, 0, 0.5);
}

.Pane.horizontal.Pane2 {
    border-top: 1px solid gray;
}

.Pane.vertical.Pane2 {
    border-left: 1px solid gray;
}