html, body {
    height: 100%;
    font-family: 'Numans', sans-serif;
}

.container-simulator {
    max-width: 100% !important;
}

.sim-textarea {
    width: 100%;
    min-width: 100%;
    height: 30rem;
    resize: none;
}

.width-100 {
    width: 100%;
}

.nav-tabs .nav-link {
    color: #495057;
}

.nav-tabs .nav-link:hover, .nav-link:focus {
    color: #495057;
}

.container-100vh {
    height: 80vh;
    overflow: scroll;
}

.CodeMirror {
    border-color: rgb(222, 226, 230);
    border-bottom-style: solid;
    border-top-style: solid;
    border-right-style: solid;
    border-width: 1px;
    height: 25rem;
}

.row textarea, .row .CodeMirror {
    padding-left: 0px;
}

.hidden {
    display: none;
}

.pointer-link-navbar {
    cursor: pointer;
}

.programm-Memory-firstrow {
    min-width: 12rem;
}

.container-100vh-2 {
    height: 36.5vh;
    overflow: scroll;
}

.flushCell {
    background-color: red !important;
}

.predFalse {
    background-color: lightcoral !important;
}

.predTrue {
    background-color: lightgreen !important;
}