.judge0-file-menu {
    min-width: 15rem !important;
}

/* ── Question container / description ───────────────────────────── */

#judge0-question-container {
    height: 100%;
    overflow-y: auto;
    box-sizing: border-box;
}

#judge0-question-description {
    padding: 1em 1.5em 1.5em;
    font-family: 'Roboto', sans-serif;
    font-size: 1.5rem;
    font-weight: 300;
    color: #1d1d1f;
    line-height: 1.65;
}

#judge0-question-description h2 {
    font-family: 'Montserrat', sans-serif;
    font-size: 1.75rem;
    font-weight: 700;
    letter-spacing: -0.02em;
    color: #1d1d1f;
    margin: 0 0 0.4em;
    border: none;
    outline: none;
}

#judge0-question-description h4 {
    font-family: 'Montserrat', sans-serif;
    font-size: 1.25rem;
    font-weight: 600;
    color: #1d1d1f;
    margin-top: 1.25em;
    margin-bottom: 0.3em;
}

#judge0-question-description p {
    font-family: 'Roboto', sans-serif;
    font-size: 1.5rem;
    font-weight: 300;
    color: #3a3a3c;
    margin: 0 0 0.75em;
}

#judge0-question-description pre {
    overflow-x: auto;
    padding: 1em 1.25em;
    background: rgba(0,0,0,0.04);
    border-radius: 8px;
    margin: 0.75em 0;
    font-size: 1.35rem;
}

#judge0-question-description code {
    font-family: 'Roboto Mono', monospace;
    font-size: 1.35rem;
    background: rgba(0,0,0,0.05);
    padding: 0.1em 0.3em;
    border-radius: 4px;
}

#judge0-question-description pre code {
    background: none;
    padding: 0;
}

/* ── Status line ─────────────────────────────────────────────────── */

#judge0-status-line:empty {
    display: none;
}

/* ── Misc ────────────────────────────────────────────────────────── */

.judge0-hidden, .judge0-style-hidden {
    display: none !important;
}

@media (display-mode: standalone) {
    .judge0-standalone-hidden {
        display: none !important;
    }
}

/* ── Golden Layout — tab styling ─────────────────────────────────── */

.lm_header .lm_tab {
    font-family: 'Roboto', sans-serif !important;
    font-size: 1.05rem !important;
}

/* Light theme */
body.theme-light .lm_header .lm_tab {
    background-color: #e8e8ed !important;
    color: #6e6e73 !important;
}
body.theme-light .lm_header .lm_tab.lm_active {
    background-color: #ffffff !important;
    color: #1d1d1f !important;
    border-bottom-color: #ffffff !important;
}

/* Dark theme */
body:not(.theme-light) .lm_header .lm_tab {
    background-color: #3a3a3a !important;
    color: #aaa !important;
}
body:not(.theme-light) .lm_header .lm_tab.lm_active {
    background-color: #1e1e1e !important;
    color: #fff !important;
    border-bottom-color: #1e1e1e !important;
}