#appcontainer {
    position: absolute;
    left: 0px;
    right: 0px;
    bottom: 0px;
    top: 0px;
    color: green;
    font-family: monospace;
    padding: 10px;
    overflow: hidden;
}
button, input, select, .checkboxlabel {
    font-family: monospace;
    background-color: #cfc;
    border-color: #4a4;
    border-width: 3px;
    color:#050;
    padding: 3px;
    font-size: 16px;
    min-width: 50px;
    
    border-radius: 8px;
    white-space: nowrap;
    
    margin: 2px;
    user-select: none;
}
.editors {
    position: fixed;
    top: 70px;
    display: flex;
    bottom: 20px;
    width: 100%;
    left: 0;
    right: 0;
}

input::placeholder {
    color: #ccc;
}
.footer {
    position: fixed;
    display: flex;
    bottom: 0px;
    left: 0px;
    right: 0px;
    height: 20px;
    padding-top: 3px;
    padding-left: 20px;
    padding-right: 20px;
    background-color: green;
    overflow: hidden;
    white-space: nowrap;
    color: white;
}
.toolbar {
    position: fixed;
    background-color: green;
    color: #030;
    top: 0px;
    left: 0px;
    right: 0px;
    display: flex;
    height: 40px;
    align-items: center;
    overflow-x: auto;
    width: 100%;
}

.subtoolbar {
    position: fixed;
    background-color:#030;
    color: white;
    top: 40px;
    display: flex;
    align-items: center;
    overflow-x: auto;

    height: 30px;
    left: 0px;
    right: 0px;
    padding-left: 10px;
    padding-right: 10px;
}

.CodeMirror {
    height: 100%;
}

.CodeMirror-lint-tooltip {
    z-index: 99999 !important;
}

#errormessages {
    background-color: rgba(255, 255, 255, 0.9);
    display: none;
    position: fixed;
    color: red;
    top: 60%;
    padding: 20px;
    bottom: 10px;
    left: 10px;
    right: 10px;
    overflow: auto;
}


#timeindicator {
    position: fixed;
    bottom: 25px;
    width: 99%;
    left: 0px;
    display: none;
}