
.editor {
    width: auto;
    height: 65vh;
    border: 1px solid #b4b4b4;
}

.list-group-item.active {
    background-color: lightblue;
}

.overlay {
    background-color: rgba(0, 0, 0, 0.5);
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    z-index: 9999;
    display: none;
}


.ace_editor .ace_layer .ace_marker-layer .ace_manual-marking {
    z-index: 10;
}

.error {
    position: absolute;
    background-color: lightcoral;
    z-index: 3;

}

.bg-light-gray {
    background-color: #f5f5f5;
!important;
}

.card-small {

    padding: 0;

!important;
    margin-top: 8px;
!important;


}

.card-small .card-body {
    margin: 0;
!important;
    padding: 0;
!important;
}


.bg-green {
    background-color: #bfe8bf;
}

.bg-yellow {
    background-color: #e8e6bf;
}

.bg-red {
    background-color: #e8bfbf;
}

.bg-gray {
    background-color: #d0d0d0;
}


.warning {
    position: absolute;
    background-color: #ffebbe;
    z-index: 3;
}


.grayed-out-line {
    position: absolute;
    background-color: #d3d3d3;
    z-index: 3;

}


#title-label {
    font-size: 25px;
    font-family: 'Rubik', sans-serif;
    font-weight: 500;
    line-height: 1;
    color: #3d3d3d;
    margin-bottom: 1rem;
}

.toast-body {
    background-color: white;
!important;
}


.nav-link:hover {
    cursor: pointer;
}


.nav-container {
    overflow: hidden;
    width: auto;
    height: 2.4rem;
    background-color: #f5f5f5;
}




#banner {
    padding-right: 6rem;
!important;


}

.card {

    margin-bottom: 2px;
}


.nav-tabs {
    width: max-content;
    overflow: hidden;



}


.output-wrapper {

    overflow: hidden;
    overflow-y: scroll;
    height: 19vh;


    background-color: #f5f5f5;
    border: 1px solid lightgrey;


}

.details-info {
    margin-left: 7pt;

}

.logs-info {
    overflow-x: scroll;
    white-space: pre;
    font-size: 10px;
}

.list-group-item {
    font-size: 14px;
}


.options-wrapper {
    overflow: hidden;
    overflow-y: scroll;
    height: 90vh;
    background-color: #f5f5f5;
}


#clicker {
    display: inline
}







