:root {
    --bs-gray-900: #212529;
    --bs-gray-800: #343a40;
    --bs-white: #fff;
    --bs-light: #f8f9fa;
    font-display: swap;
}

.navbar {
    position: relative;
    background-color: var(--bs-gray-900);
    box-shadow: 0px 4px 10px rgba(0, 0, 0, 0.6);
    border-bottom: 2px solid rgba(255, 255, 255, 0.1);
}

.navbar::after {
    content: "";
    position: absolute;
    bottom: 0;
    left: 0;
    width: 100%;
    height: 2px;
    background: linear-gradient(to right, #4F5B93, #8892BF);
    opacity: 0.4;
}

/* link styles */
.nav-link {
    color: var(--bs-light);
    transition: all 0.3s ease-in-out;
}

/* update text color on hover */
.nav-link:hover,
.nav-link:active {
    color: #8892BF;
}

#bootstrap-body-override {
    background-color: var(--bs-gray-800);
    color: var(--bs-white);
}

#editor-container {
    /* TODO how to make this responsive?
       and dont let editor-header overflow when the screen is too small? */
    min-width: 1550px; /* protect the editor from being too small */
}

#editor {
    font-family: 'Jetbrains Mono', Consolas, Monaco, monospace;
    font-size: 0.9em;
    width: 100%;
    height: 300px;
    border: 1px solid #444;
    background-color: #2d2d2d;
    color: #ffffff;
    text-align: left;
    min-width: 100%;
}

#php-version-display {
    min-width: 150px;
}

#performance-display {
    min-width: 150px;
}

.CodeMirror {
    height: 300px;
    border: 1px solid #444;
    text-align: left;
}

#output {
    font-family: 'Jetbrains Mono', Consolas, Monaco, monospace;
    font-size: 1em;
    background-color: #333;
    color: #ffffff;
    text-align: left;
    white-space: pre-wrap;
}

.resizable-content {
    min-height: 250px;
    min-width: 100%;
    resize: both;
    overflow: auto;
    max-height: fit-content;
    max-width: fit-content;
  }