/* scenario_truth.css */

/* --- Layout --- */
body {
    display: flex;
    flex-direction: column;
    height: 100vh;
    overflow: hidden;
    margin: 0;
    background-color: var(--bg-main, #0f172a);
}

html {
    background-color: var(--bg-main, #0f172a);
}

/* --- App Wrapper --- */
#app-wrapper {
    display: flex;
    flex-grow: 1;
    overflow: hidden;
    position: relative;
    background-color: var(--bg-main, #0f172a);
}

/* --- Sidebar --- */
#sidebar {
    width: 280px;
    background-color: var(--bg-panel);
    border-right: 1px solid var(--border-color);
    padding: 20px;
    display: flex;
    flex-direction: column;
    gap: 15px;
    box-shadow: 2px 0 10px rgba(0, 0, 0, 0.2);
    z-index: 10;
    overflow-y: auto;
    color: var(--text-main);
}

.level-card {
    padding: 15px;
    border: 1px solid var(--border-color);
    border-radius: 8px;
    background: var(--bg-card);
    cursor: pointer;
    transition: all 0.2s;
}

.level-card:hover {
    border-color: var(--primary);
    transform: translateY(-2px);
    background: var(--bg-hover);
}

.level-card.active {
    border-color: var(--primary);
    background: rgba(37, 99, 235, 0.1);
    /* Low opacity primary */
    box-shadow: 0 0 0 2px rgba(37, 99, 235, 0.2);
}

.lvl-head {
    font-family: var(--font-heading);
    font-weight: 700;
    font-size: 0.95rem;
    color: var(--text-main);
    display: block;
    margin-bottom: 4px;
}

.lvl-sub {
    font-size: 0.8rem;
    color: var(--text-secondary);
    line-height: 1.4;
    display: block;
}

#next-btn {
    margin-top: 20px;
    padding: 15px;
    background: var(--bg-card);
    color: var(--text-main);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    font-weight: bold;
    cursor: pointer;
    font-size: 0.9rem;
    transition: all 0.2s;
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 10px;
}

#next-btn:hover {
    background: var(--bg-hover);
    border-color: var(--primary);
}

/* --- Workspace --- */
#workspace {
    flex-grow: 1;
    overflow-y: auto;
    padding: 40px;
    display: flex;
    flex-direction: column;
    align-items: center;
    background-color: var(--bg-dark);
    /* background-image removed for cleaner look */
}

/* Scenario Box */
#scenario-card {
    background: var(--bg-panel);
    width: 100%;
    max-width: 800px;
    padding: 30px;
    border-radius: 12px;
    box-shadow: 0 10px 25px rgba(0, 0, 0, 0.3);
    margin-bottom: 30px;
    border: 1px solid var(--border-color);
    border-left: 6px solid var(--primary);
    flex-shrink: 0;
    color: var(--text-main);
}

.scenario-label {
    text-transform: uppercase;
    letter-spacing: 1.5px;
    font-size: 0.8rem;
    font-weight: 700;
    color: var(--text-secondary);
    margin-bottom: 15px;
    display: flex;
    justify-content: space-between;
}

.scenario-text {
    font-family: 'Fira Code', monospace;
    /* aligned with other tools for "code-like" logic text */
    font-size: 1.25rem;
    font-weight: 500;
    color: var(--text-main);
    line-height: 1.6;
}

/* Highlighting keywords */
.kw-and {
    color: var(--warning);
    /* e.g. Orange */
    font-weight: 800;
}

.kw-or {
    color: var(--accent);
    /* e.g. Pink/Purple */
    font-weight: 800;
}

.kw-not {
    color: #ef4444;
    /* Red */
    font-weight: 800;
}

/* Table */
.table-wrapper {
    background: var(--bg-panel);
    border-radius: 12px;
    box-shadow: 0 10px 15px -3px rgba(0, 0, 0, 0.4);
    overflow-x: auto;
    max-width: 800px;
    width: 100%;
    margin-bottom: 30px;
    max-height: 55vh;
    border: 1px solid var(--border-color);
}

table {
    width: 100%;
    border-collapse: collapse;
}

th {
    background: var(--bg-card);
    color: var(--text-main);
    padding: 15px;
    text-align: center;
    font-weight: 700;
    border-right: 1px solid var(--border-color);
    border-bottom: 2px solid var(--border-color);
    vertical-align: middle;
}

th:last-child {
    border-right: none;
    background: rgba(99, 102, 241, 0.1);
    /* subtle highlight for output col */
}

.th-main {
    display: block;
    font-size: 1.1rem;
}

.th-sub {
    display: block;
    font-size: 0.75rem;
    font-weight: 400;
    opacity: 0.7;
    margin-top: 4px;
    font-family: 'Fira Code', monospace;
    color: var(--text-secondary);
}

td {
    padding: 12px 8px;
    text-align: center;
    border-bottom: 1px solid var(--border-color);
    color: var(--text-secondary);
    font-size: 1.1rem;
    font-weight: 500;
}

tr:last-child td {
    border-bottom: none;
}

tr:hover {
    background-color: var(--bg-hover);
}

/* Inputs */
.t-input {
    width: 50px;
    padding: 8px;
    font-family: 'Fira Code', monospace;
    font-size: 1.1rem;
    text-align: center;
    border: 2px solid var(--border-color);
    border-radius: 6px;
    outline: none;
    transition: all 0.2s;
    font-weight: 700;
    color: var(--text-main);
    background: var(--bg-main);
}

.t-input:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 3px rgba(99, 102, 241, 0.2);
}

.t-input.correct {
    background-color: rgba(16, 185, 129, 0.15);
    border-color: var(--success);
    color: var(--success);
}

.t-input.wrong {
    background-color: rgba(220, 38, 38, 0.15);
    border-color: var(--accent);
    color: var(--accent);
}

/* Feedback Banner */
#feedback-banner {
    position: fixed;
    top: 90px;
    left: 50%;
    transform: translateX(-50%) translateY(-200%);
    padding: 12px 30px;
    border-radius: 50px;
    color: white;
    font-weight: 700;
    box-shadow: 0 10px 20px rgba(0, 0, 0, 0.5);
    z-index: 100;
    transition: transform 0.4s cubic-bezier(0.175, 0.885, 0.32, 1.275);
    background: var(--bg-panel);
    border: 1px solid var(--border-color);
}

#feedback-banner.show {
    transform: translateX(-50%) translateY(0);
}

#feedback-banner.success {
    background: rgba(16, 185, 129, 0.2);
    border-color: var(--success);
    color: var(--success);
}

#feedback-banner.fail {
    background: rgba(220, 38, 38, 0.2);
    border-color: var(--accent);
    color: var(--accent);
}

.btn-check {
    padding: 14px 50px;
    background: linear-gradient(135deg, var(--primary), var(--primary-dark));
    color: white;
    border: none;
    border-radius: 30px;
    font-size: 1rem;
    font-weight: 700;
    cursor: pointer;
    box-shadow: 0 4px 10px rgba(99, 102, 241, 0.3);
    transition: all 0.2s;
    margin-bottom: 40px;
}

.btn-check:hover {
    transform: translateY(-2px);
    filter: brightness(1.2);
}

.btn-check:active {
    transform: translateY(0);
}