/* ==========================================================================
   Footer
   ========================================================================== */
#workspace-footer {
    height: var(--footer-height);
    background-color: var(--bg-tertiary);
    border-top: 1px solid var(--border);
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 12px;
    color: var(--text-muted);
}

#workspace-footer b {
    color: var(--text-secondary);
}

/* ==========================================================================
   Modals (Modern Glass & Grid lists)
   ========================================================================== */
.modal-overlay {
    position: fixed;
    top: 0;
    left: 0;
    width: 100vw;
    height: 100vh;
    background-color: rgba(15, 23, 42, 0.7);
    backdrop-filter: blur(8px);
    z-index: 1000;
    display: flex;
    align-items: center;
    justify-content: center;
    animation: fadeIn 0.3s ease;
}

.modal {
    background-color: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: 16px;
    width: 90%;
    max-width: 820px;
    height: 82%;
    max-height: 660px;
    display: flex;
    flex-direction: column;
    box-shadow: var(--shadow-lg, 0 25px 50px -12px rgba(0, 0, 0, 0.5));
    animation: scaleUp 0.3s cubic-bezier(0.34, 1.56, 0.64, 1);
}

.modal.sm {
    max-width: 560px;
    height: 60%;
    max-height: 400px;
}

.modal-header {
    padding: 18px 24px;
    border-bottom: 1px solid var(--border);
    display: flex;
    justify-content: space-between;
    align-items: center;
    gap: 12px;
    flex-shrink: 0;
}

.modal-header h2 {
    font-size: 20px;
    font-weight: 600;
}

.modal-header-info {
    display: flex;
    align-items: center;
    gap: 12px;
    min-width: 0;
}

.modal-header-icon {
    display: flex;
    align-items: center;
    justify-content: center;
    width: 36px;
    height: 36px;
    border-radius: 10px;
    background-color: var(--accent-light);
    color: var(--accent);
    flex-shrink: 0;
}

.modal-header-text {
    min-width: 0;
}

.modal-header-text h2 {
    font-size: 17px;
    font-weight: 600;
    line-height: 1.3;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.modal-subtitle {
    font-size: 12.5px;
    color: var(--text-secondary);
    margin-top: 2px;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.modal-close {
    background: none;
    border: none;
    color: var(--text-secondary);
    font-size: 28px;
    cursor: pointer;
    transition: var(--transition-fast);
    flex-shrink: 0;
}

.modal-close:hover {
    color: var(--text-primary);
}

.modal-body {
    padding: 20px 24px;
    overflow-y: auto;
    flex-grow: 1;
    display: flex;
    flex-direction: column;
    gap: 20px;
}

.modal-footer {
    padding: 14px 24px;
    border-top: 1px solid var(--border);
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    flex-shrink: 0;
}

.modal-footer-hint {
    font-size: 12.5px;
    color: var(--text-muted);
}

/* QM log formatting inside modal */
.qm-empty {
    color: var(--text-secondary);
    font-size: 14px;
    text-align: center;
    padding: 48px 20px;
}

/* ── QM Section (top-level grouping: SOP Minimization / POS) ───────────── */
.qm-section {
    display: flex;
    flex-direction: column;
    gap: 10px;
}

.qm-section + .qm-section {
    margin-top: 0;
    padding-top: 18px;
    border-top: 1px solid var(--border);
}

/* Section title: larger, bold, no color badge — pure typography */
.qm-section-title {
    font-family: 'Outfit', sans-serif;
    font-size: 13px;
    font-weight: 700;
    color: var(--text-primary);
    text-transform: uppercase;
    letter-spacing: 0.08em;
    padding-bottom: 6px;
    border-bottom: 1px solid var(--border);
    margin-bottom: 4px;
}

/* ── QM Step (collapsible numbered sub-section) ────────────────────────── */
.qm-step {
    border-radius: 6px;
    margin-bottom: 2px;
}

.qm-step + .qm-step {
    margin-top: 4px;
}

.qm-step-summary {
    list-style: none;
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 6px 8px;
    cursor: pointer;
    user-select: none;
    transition: var(--transition-fast);
    border-radius: 6px;
}

.qm-step-summary::-webkit-details-marker {
    display: none;
}

.qm-step-summary::marker {
    content: '';
}

.qm-step-summary:hover {
    background-color: rgba(255, 255, 255, 0.04);
}

.qm-step-num {
    display: flex;
    align-items: center;
    justify-content: center;
    width: 20px;
    height: 20px;
    border-radius: 4px;
    background: rgba(255,255,255,0.06);
    border: 1px solid var(--border);
    color: var(--text-muted);
    font-size: 11px;
    font-weight: 700;
    font-family: 'Outfit', sans-serif;
    flex-shrink: 0;
    line-height: 1;
}

.qm-step-title {
    font-size: 12.5px;
    font-weight: 600;
    color: var(--text-secondary);
    flex-grow: 1;
    font-family: 'Outfit', sans-serif;
}

.qm-chevron {
    color: var(--text-muted);
    transition: transform var(--transition-fast);
    flex-shrink: 0;
}

.qm-step[open] .qm-chevron {
    transform: rotate(180deg);
}

.qm-step-body {
    padding: 4px 8px 10px 38px;
    display: flex;
    flex-direction: column;
    gap: 8px;
}

/* Sub-heading inside a step body (e.g. "Initial Term Binary Representations") */
.qm-h3 {
    font-size: 10.5px;
    color: var(--text-muted);
    margin-top: 6px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.04em;
    display: flex;
    align-items: center;
    gap: 6px;
    font-family: 'Outfit', sans-serif;
}

.qm-status-dot {
    width: 5px;
    height: 5px;
    border-radius: 50%;
    background-color: var(--text-muted);
    flex-shrink: 0;
}

.qm-block {
    display: flex;
    flex-direction: column;
    gap: 8px;
}

/* ── QM Row (generic data line) ─────────────────────────────────────────── */
.qm-row {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11.5px;
    font-weight: 600;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    display: flex;
    align-items: center;
    gap: 10px;
    flex-wrap: wrap;
    padding: 3px 0;
}

.qm-term-list-row {
    align-items: center;
}

.qm-term-list {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
}

/* ── Term Badge (binary code + literal label) ───────────────────────────── */
.qm-term-badge {
    display: inline-flex;
    flex-direction: column;
    align-items: center;
    line-height: 1.2;
    padding: 4px 10px 5px;
    border-radius: 6px;
    background-color: rgba(255, 255, 255, 0.05);
    border: 1px solid var(--border);
}

.qm-term-badge .qm-term-bin {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11.5px;
    font-weight: 600;
    letter-spacing: 0.15em;
    color: var(--text-secondary);
    margin-bottom: 2px;
}

.qm-term-badge .qm-term-lit {
    font-family: 'Times New Roman', Times, serif;
    font-style: italic;
    font-size: 14px;
    font-weight: 500;
    letter-spacing: 0;
    color: var(--text-muted);
    display: flex;
    justify-content: center;
}

.qm-lit-var {
    display: inline-flex;
    justify-content: center;
    align-items: center;
    min-width: 9px;
    text-align: center;
    line-height: 1;
}

.qm-lit-var.neg {
    text-decoration: overline;
    text-decoration-thickness: 1px;
}

.qm-lit-dash {
    display: inline-flex;
    justify-content: center;
    align-items: center;
    min-width: 9px;
    text-align: center;
    color: var(--text-faint, var(--text-muted));
    opacity: 0.5;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
}

/* Result badges: accent color, visually distinguishable as a "final" term */
.qm-term-badge.result {
    background-color: rgba(var(--accent-rgb, 37, 99, 235), 0.08);
    border-color: rgba(var(--accent-rgb, 37, 99, 235), 0.2);
}

.qm-term-badge.result .qm-term-bin { color: var(--accent); }
.qm-term-badge.result .qm-term-lit { color: var(--accent); opacity: 0.85; }

/* ── Num Chip (plain decimal minterm indices) ────────────────────────────── */
.qm-num-chip {
    display: inline-flex;
    align-items: center;
    line-height: 1;
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    font-size: 11.5px;
    font-weight: 600;
    color: var(--text-secondary);
    padding: 3px 8px;
    border-radius: 6px;
    background-color: rgba(255, 255, 255, 0.04);
    border: 1px solid rgba(255, 255, 255, 0.05);
}

/* Discarded / dominated implicants */
.qm-row-discarded {
    opacity: 0.55;
}

.qm-row-discarded .qm-term-badge.discarded .qm-term-bin,
.qm-row-discarded .qm-term-badge.discarded .qm-term-lit {
    text-decoration: line-through;
}

.badge.discarded {
    color: var(--danger, #ef4444);
    background-color: rgba(239, 68, 68, 0.1);
}

.badge.dc {
    color: var(--text-muted);
    background-color: rgba(255, 255, 255, 0.04);
    text-transform: none;
    font-weight: 500;
}

/* Note lines ("No more merges possible.", etc.) */
.qm-row-note {
    font-family: 'Outfit', sans-serif;
    font-style: italic;
    color: var(--text-muted);
    font-size: 12px;
    letter-spacing: 0.01em;
}

.qm-row-label {
    font-family: 'Outfit', sans-serif;
    font-size: 10.5px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--text-muted);
    display: inline-flex;
    align-items: center;
    gap: 4px;
    flex-shrink: 0;
    white-space: nowrap;
}

.qm-row-op {
    color: var(--text-secondary);
    opacity: 0.6;
    font-weight: 600;
    font-size: 13px;
    flex-shrink: 0;
}

.qm-row-pi {
    border-left: 2px solid var(--border-focus);
    padding-left: 10px;
}

.qm-row-label.pi {
    color: var(--text-secondary);
}

/* ── Merge Rows (A + B = C) ───────────────────────────────────────────── */
.qm-merge-list {
    display: flex;
    flex-direction: column;
    gap: 4px;
    border: 1px solid var(--border);
    border-radius: 8px;
    overflow: hidden;
}

.qm-merge-row {
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 5px 10px;
    flex-wrap: wrap;
}

.qm-merge-row:not(:last-child) {
    border-bottom: 1px solid var(--border);
}

.qm-merge-row:hover {
    background-color: rgba(255, 255, 255, 0.02);
}

.qm-merge-op {
    color: var(--text-muted);
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    font-weight: 600;
    flex-shrink: 0;
}

/* ── Prime-Implicant Cards ───────────────────────────────────────────── */
.qm-pi-list {
    display: flex;
    flex-direction: column;
    gap: 6px;
    border-left: 2px solid rgba(var(--accent-rgb, 37, 99, 235), 0.3);
    padding-left: 10px;
}

.qm-pi-card {
    display: flex;
    flex-direction: column;
    gap: 5px;
    padding: 7px 10px;
    border-radius: 6px;
    background: rgba(255, 255, 255, 0.02);
    border: 1px solid var(--border);
}

.qm-pi-card-top {
    display: flex;
    align-items: center;
    gap: 10px;
    flex-wrap: wrap;
}

.qm-pi-card-label {
    font-family: 'Outfit', sans-serif;
    font-size: 10.5px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.04em;
    color: var(--accent);
    opacity: 0.85;
    white-space: nowrap;
    flex-shrink: 0;
}

.qm-pi-card-covers {
    display: flex;
    align-items: flex-start;
    gap: 8px;
    flex-wrap: wrap;
}

.qm-pi-covers-op {
    font-family: 'Outfit', sans-serif;
    font-size: 10.5px;
    font-weight: 600;
    color: var(--text-muted);
    text-transform: uppercase;
    letter-spacing: 0.04em;
    white-space: nowrap;
    flex-shrink: 0;
    padding-top: 3px;
}

/* ── Final Result Box ────────────────────────────────────────────────────── */
.qm-final {
    display: flex;
    flex-direction: column;
    gap: 10px;
    margin-top: 12px;
    padding: 14px 16px;
    border-radius: 10px;
    border: 1px solid var(--border-focus, var(--accent));
    background-color: rgba(var(--accent-rgb, 37, 99, 235), 0.06);
}

.qm-final-label {
    font-family: 'Outfit', sans-serif;
    font-size: 10.5px;
    font-weight: 700;
    color: var(--text-muted);
    text-transform: uppercase;
    letter-spacing: 0.07em;
}

.qm-final-terms {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 10px;
}

.qm-final-terms .qm-term-badge {
    padding: 6px 14px 7px;
    background-color: rgba(var(--accent-rgb, 37, 99, 235), 0.05);
    border-color: rgba(var(--accent-rgb, 37, 99, 235), 0.2);
}

.qm-final-terms .qm-term-badge .qm-term-bin {
    font-size: 13px;
    color: var(--accent);
}

.qm-final-terms .qm-term-badge .qm-term-lit {
    font-size: 15px;
    color: var(--accent);
    opacity: 0.8;
}

.qm-final-plus {
    color: var(--text-muted);
    font-weight: 600;
    font-size: 15px;
}

.qm-final-dot {
    font-size: 22px;
    line-height: 1;
}

/* Log badges - uniform styling for SOP and POS */
.badge {
    padding: 3px 9px;
    border-radius: 6px;
    font-size: 11.5px;
    font-weight: 600;
    letter-spacing: 0.02em;
    font-family: 'JetBrains Mono', monospace;
    border: 1px solid transparent;
    white-space: nowrap;
}

.badge.term {
    background-color: rgba(255, 255, 255, 0.04);
    color: var(--text-secondary);
    border-color: var(--border);
}

.badge.result {
    background-color: var(--accent-light);
    color: var(--accent);
    border-color: rgba(37, 99, 235, 0.25);
}

/* Alternative solutions row list */
.sol-row {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 12px 16px;
    background-color: var(--bg-primary);
    border-radius: 8px;
    border: 1px solid var(--border);
    font-family: 'JetBrains Mono', monospace;
    font-size: 14px;
}

.sol-row:hover {
    border-color: var(--border-focus);
}

.sol-option {
    color: var(--text-secondary);
    font-weight: 500;
}

.sol-expr {
    color: var(--text-primary);
    word-break: break-all;
    flex-grow: 1;
    margin: 0 16px;
}

/* ==========================================================================
   Toasts
   ========================================================================== */
#toast-container {
    position: fixed;
    top: 24px;
    right: 24px;
    z-index: 2000;
    display: flex;
    flex-direction: column;
    gap: 12px;
    pointer-events: none;
}

.toast {
    background-color: var(--bg-secondary);
    border-left: 4px solid var(--accent);
    color: var(--text-primary);
    padding: 14px 20px;
    border-radius: 8px;
    box-shadow: var(--shadow-lg, 0 10px 25px rgba(0,0,0,0.3));
    font-size: 14px;
    font-weight: 500;
    min-width: 280px;
    max-width: 400px;
    display: flex;
    align-items: center;
    gap: 12px;
    transform: translateX(120%);
    transition: transform 0.3s cubic-bezier(0.34, 1.56, 0.64, 1), opacity 0.3s;
    pointer-events: auto;
    opacity: 0;
}

.toast.show {
    transform: translateX(0);
    opacity: 1;
}

.toast.success { border-left-color: var(--success); }
.toast.error { border-left-color: var(--error); }