index.css

body { 
    padding-top: 60px; 
}

textarea {
    white-space: pre;
    overflow-wrap:    normal;
    overflow-x:  scroll;
    font-family: Monospace;
}

.bg-info {
    background-color: #3a8c9a !important;
    color: white !important;
}

.badge-info {
    background-color: #3a8c9a !important;
}

.nav-tabs > li > a {
    color: #3a8c9a;
}

.nav-link {
    padding-top: 0.1rem;
    padding-bottom: 0.1rem;
}

.tab-pane {
    max-width: none;
}

.no-margin {
    margin-left: 0px;
    padding-left: 0px;
}

.table-wrap {
    height: 100%;
    flex-grow: 1;
    overflow-y: scroll;    
}

.ace_container {
    position: relative;
}

.button_round_right {
    border-bottom-right-radius: 0.2rem !important;
    border-top-right-radius: 0.2rem !important;
    border-bottom-left-radius: 0 !important;
    border-top-left-radius: 0 !important;
}

.button_round_left {
    border-bottom-right-radius: 0 !important;
    border-top-right-radius: 0 !important;
    border-bottom-left-radius: 0.2rem !important;
    border-top-left-radius: 0.2rem !important;
}

.resizable_pane {
    overflow: auto;
    resize: vertical;
}

.resizable_flex_column {
    height: 100%;
    display: flex;
    flex-direction: column;
}

.script_editor {
    position: absolute;
    top: 0;
    right: 0;
    bottom: 0;
    left: 0;
}

.input-group-prepend label {
    width: 100%;
    overflow: hidden;
}

h5 {
    margin-bottom: 0;
}

hr {
    margin-top: 0;
}