/* ==========================================
   Logic Studies - Component Styles
   ========================================== */

/* ==========================================
   Filter Bar
   ========================================== */
.filter-bar {
    display: flex;
    flex-direction: column;
    gap: var(--space-3);
    margin-bottom: var(--space-4);
}

.filter-row {
    display: flex;
    flex-wrap: wrap;
    gap: var(--space-2);
}

.filter-chip {
    padding: var(--space-1) var(--space-3);
    border: 1px solid var(--border-default);
    border-radius: 999px;
    background: var(--bg-secondary);
    color: var(--text-secondary);
    font-size: var(--font-size-sm);
    font-family: var(--font-family);
    cursor: pointer;
    transition: all var(--transition-fast);
    white-space: nowrap;
}

.filter-chip:hover {
    border-color: var(--color-primary);
    color: var(--text-primary);
}

.filter-chip.active {
    background: var(--color-primary);
    border-color: var(--color-primary);
    color: #fff;
    font-weight: 600;
}

.filter-count {
    font-size: var(--font-size-sm);
    color: var(--text-muted);
    margin-bottom: var(--space-2);
    min-height: 1.2em;
}

.filter-empty {
    grid-column: 1 / -1;
    text-align: center;
    color: var(--text-muted);
    padding: var(--space-10) 0;
    font-size: var(--font-size-base);
}

/* ==========================================
   Problem Cards (Selection Screen)
   ========================================== */
.problem-cards {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
    gap: var(--space-6);
}

.problem-card {
    background: var(--bg-card);
    border: 1px solid var(--border-subtle);
    border-radius: var(--radius-xl);
    transition: all var(--transition-base);
    position: relative;
    overflow: hidden;
}

/* Botão semântico que preenche todo o card — reset visual total */
.problem-card-btn {
    display: block;
    width: 100%;
    padding: var(--space-6);
    background: none;
    border: none;
    color: inherit;
    font: inherit;
    text-align: left;
    cursor: pointer;
    border-radius: var(--radius-xl);
}

.problem-card::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    height: 3px;
    background: linear-gradient(90deg, var(--color-primary), var(--color-accent));
    opacity: 0;
    transition: opacity var(--transition-base);
    pointer-events: none;
}

.problem-card:hover,
.problem-card:has(.problem-card-btn:focus-visible) {
    background: var(--bg-card-hover);
    border-color: var(--border-default);
    transform: translateY(-4px);
    box-shadow: var(--shadow-lg), var(--shadow-glow);
}

.problem-card:hover::before,
.problem-card:has(.problem-card-btn:focus-visible)::before {
    opacity: 1;
}

/* Focus ring no botão do card — sobrescreve o global para usar a borda do card */
.problem-card-btn:focus-visible {
    outline: 2px solid var(--color-primary);
    outline-offset: -2px;
}

.problem-card-header {
    display: flex;
    align-items: center;
    gap: var(--space-3);
    margin-bottom: var(--space-4);
}

.problem-card-icon {
    width: 48px;
    height: 48px;
    border-radius: var(--radius-lg);
    background: var(--color-highlight-bg);
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: var(--font-size-xl);
}

.problem-card-title {
    font-size: var(--font-size-lg);
    font-weight: 600;
    color: var(--text-primary);
}

.problem-card-type {
    font-size: var(--font-size-sm);
    color: var(--text-muted);
}

.problem-card-description {
    color: var(--text-secondary);
    font-size: var(--font-size-sm);
    line-height: 1.5;
    margin-bottom: var(--space-4);
}

.problem-card-footer {
    display: flex;
    align-items: center;
    justify-content: space-between;
}

.difficulty-badge {
    display: inline-flex;
    align-items: center;
    padding: var(--space-1) var(--space-3);
    border-radius: var(--radius-sm);
    font-size: var(--font-size-xs);
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.difficulty-badge.easy {
    background: var(--color-confirmed-bg);
    color: var(--color-confirmed);
}

.difficulty-badge.medium {
    background: rgba(251, 191, 36, 0.15);
    color: #FBBF24;
}

.difficulty-badge.hard {
    background: var(--color-eliminated-bg);
    color: var(--color-eliminated);
}

.problem-card-steps {
    font-size: var(--font-size-sm);
    color: var(--text-muted);
}

/* ==========================================
   Progress Summary (home screen header)
   ========================================== */
.list-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    flex-wrap: wrap;
    gap: var(--space-4);
    margin-bottom: var(--space-6);
}

.list-header .section-title {
    margin-bottom: 0;
}

.progress-summary {
    min-width: 0;
}

.progress-info {
    display: flex;
    flex-direction: column;
    align-items: flex-end;
    gap: var(--space-2);
}

.progress-text {
    font-size: var(--font-size-sm);
    color: var(--text-muted);
    white-space: nowrap;
}

.progress-bar {
    width: 160px;
    height: 6px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-2xl);
    overflow: hidden;
}

.progress-bar-fill {
    height: 100%;
    background: linear-gradient(90deg, var(--color-confirmed), #34d399);
    border-radius: var(--radius-2xl);
    transition: width 0.6s ease;
}

.progress-all-done {
    font-size: var(--font-size-sm);
    font-weight: 600;
    color: var(--color-confirmed);
    background: var(--color-confirmed-bg);
    border: 1px solid var(--color-confirmed);
    padding: var(--space-2) var(--space-4);
    border-radius: var(--radius-lg);
    white-space: nowrap;
}

/* ==========================================
   Completed Card State
   ========================================== */
.problem-card.completed::before {
    opacity: 1;
    background: linear-gradient(90deg, var(--color-confirmed), #34d399);
}

.problem-card.completed {
    border-color: rgba(16, 185, 129, 0.25);
}

.completed-indicator {
    display: inline-flex;
    align-items: center;
    gap: var(--space-1);
    font-size: var(--font-size-xs);
    font-weight: 600;
    color: var(--color-confirmed);
    background: var(--color-confirmed-bg);
    padding: var(--space-1) var(--space-2);
    border-radius: var(--radius-sm);
}

@media (max-width: 600px) {
    .list-header {
        flex-direction: column;
        align-items: flex-start;
    }
    .progress-info {
        align-items: flex-start;
    }
    .progress-bar {
        width: 100%;
        max-width: 200px;
    }
}

/* ==========================================
   Problem Container
   ========================================== */
.problem-container {
    background: var(--bg-card);
    border: 1px solid var(--border-subtle);
    border-radius: var(--radius-xl);
    padding: var(--space-6);
    margin-bottom: var(--space-6);
}

.back-btn {
    display: inline-flex;
    align-items: center;
    gap: var(--space-2);
    padding: var(--space-2) var(--space-4);
    background: transparent;
    border: 1px solid var(--border-default);
    border-radius: var(--radius-md);
    color: var(--text-secondary);
    font-size: var(--font-size-sm);
    cursor: pointer;
    transition: all var(--transition-fast);
    margin-bottom: var(--space-4);
}

.back-btn:hover {
    background: var(--bg-tertiary);
    color: var(--text-primary);
}

.problem-header {
    display: flex;
    align-items: center;
    gap: var(--space-4);
    margin-bottom: var(--space-4);
    flex-wrap: wrap;
}

.problem-title {
    font-size: var(--font-size-xl);
    font-weight: 600;
    color: var(--text-primary);
    flex: 1;
}

.problem-statement {
    color: var(--text-secondary);
    line-height: 1.8;
    font-size: var(--font-size-base);
}

.problem-statement p {
    margin-bottom: var(--space-3);
}

.problem-statement .clue {
    display: block;
    padding: var(--space-2) var(--space-4);
    margin: var(--space-2) 0;
    background: var(--bg-tertiary);
    border-left: 3px solid var(--color-highlight);
    border-radius: 0 var(--radius-sm) var(--radius-sm) 0;
}

/* ==========================================
   Visualization Container
   ========================================== */
.visualization-container {
    background: var(--bg-card);
    border: 1px solid var(--border-subtle);
    border-radius: var(--radius-xl);
    padding: var(--space-6);
    margin-bottom: var(--space-6);
}

.step-indicator {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: var(--space-2);
    margin-bottom: var(--space-6);
    padding: var(--space-3) var(--space-6);
    background: var(--bg-tertiary);
    border-radius: var(--radius-lg);
    width: fit-content;
    margin-left: auto;
    margin-right: auto;
}

.step-label {
    color: var(--text-muted);
    font-size: var(--font-size-sm);
    font-weight: 500;
}

.step-current {
    font-size: var(--font-size-xl);
    font-weight: 700;
    color: var(--color-highlight);
}

.step-separator {
    color: var(--text-muted);
}

.step-total {
    font-size: var(--font-size-lg);
    color: var(--text-secondary);
}

.visualization-area {
    min-height: 200px;
    display: flex;
    align-items: center;
    justify-content: center;
}

/* ==========================================
   Logic Table
   ========================================== */
.logic-table {
    border-collapse: separate;
    border-spacing: 0;
    width: 100%;
    max-width: 600px;
    margin: 0 auto;
}

.logic-table th,
.logic-table td {
    padding: var(--space-3) var(--space-4);
    text-align: center;
    border: 1px solid var(--border-default);
    transition: all var(--transition-base);
}

.logic-table th {
    background: var(--bg-tertiary);
    color: var(--text-primary);
    font-weight: 600;
    font-size: var(--font-size-sm);
}

.logic-table th:first-child {
    border-top-left-radius: var(--radius-md);
}

.logic-table th:last-child {
    border-top-right-radius: var(--radius-md);
}

.logic-table tbody tr:last-child td:first-child {
    border-bottom-left-radius: var(--radius-md);
}

.logic-table tbody tr:last-child td:last-child {
    border-bottom-right-radius: var(--radius-md);
}

.logic-table td {
    background: var(--bg-secondary);
    color: var(--text-secondary);
    font-size: var(--font-size-lg);
    position: relative; /* required for Anime.js cell animations */
}

.logic-table td.row-header {
    background: var(--bg-tertiary);
    color: var(--text-primary);
    font-weight: 500;
    text-align: left;
}

/* Cell States */
.logic-table td.confirmed {
    background: var(--color-confirmed-bg);
    color: var(--color-confirmed);
    font-weight: 700;
}

.logic-table td.eliminated {
    background: var(--color-eliminated-bg);
    color: var(--color-eliminated);
    text-decoration: line-through;
    opacity: 0.7;
}

.logic-table td.highlighted {
    background: var(--color-highlight-bg);
    color: var(--color-highlight);
    box-shadow: inset 0 0 0 2px var(--color-highlight);
}

/* ==========================================
   Sequence Visualizer
   ========================================== */
.sequence-container {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: var(--space-6);
}

.sequence-boxes {
    display: flex;
    align-items: center;
    gap: var(--space-3);
    flex-wrap: wrap;
    justify-content: center;
}

.sequence-box {
    width: 60px;
    height: 60px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--bg-tertiary);
    border: 2px solid var(--border-default);
    border-radius: var(--radius-md);
    font-size: var(--font-size-xl);
    font-weight: 600;
    color: var(--text-primary);
    transition: all var(--transition-base);
}

.sequence-box.highlighted {
    border-color: var(--color-highlight);
    background: var(--color-highlight-bg);
    color: var(--color-highlight);
}

.sequence-box.answer {
    border-color: var(--color-confirmed);
    background: var(--color-confirmed-bg);
    color: var(--color-confirmed);
}

.sequence-box.unknown {
    color: var(--text-muted);
    font-size: var(--font-size-2xl);
}

.sequence-arrow {
    color: var(--text-muted);
    font-size: var(--font-size-lg);
}

/* Arrow wrapper that hosts the floating operation label */
.seq-gap {
    position: relative;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
}

.seq-operation {
    position: absolute;
    top: -22px;
    font-size: var(--font-size-xs);
    font-weight: 700;
    color: var(--color-highlight);
    background: var(--color-highlight-bg);
    border: 1px solid var(--color-highlight);
    padding: 1px var(--space-2);
    border-radius: var(--radius-sm);
    opacity: 0;
    white-space: nowrap;
    pointer-events: none;
}

.sequence-pattern {
    padding: var(--space-4) var(--space-6);
    background: var(--bg-tertiary);
    border-radius: var(--radius-lg);
    text-align: center;
}

.sequence-pattern-label {
    font-size: var(--font-size-sm);
    color: var(--text-muted);
    margin-bottom: var(--space-2);
}

.sequence-pattern-formula {
    font-size: var(--font-size-lg);
    font-weight: 600;
    color: var(--color-accent);
}

/* ==========================================
   Order/Position Visualizer
   ========================================== */
/* ==========================================
   Candidates Zone (Order problems)
   ========================================== */
.candidates-zone {
    width: 100%;
    padding: var(--space-3) var(--space-4);
    background: var(--bg-tertiary);
    border-radius: var(--radius-lg);
    border: 1px solid var(--border-subtle);
}

.candidates-label {
    font-size: var(--font-size-xs);
    color: var(--text-muted);
    text-transform: uppercase;
    letter-spacing: 0.06em;
    margin-bottom: var(--space-2);
}

.candidates-list {
    display: flex;
    flex-wrap: wrap;
    gap: var(--space-2);
    justify-content: center;
}

.candidate-chip {
    padding: var(--space-2) var(--space-4);
    background: var(--bg-card);
    border: 1px solid var(--color-highlight);
    border-radius: var(--radius-md);
    color: var(--color-highlight);
    font-size: var(--font-size-sm);
    font-weight: 500;
    transition: all var(--transition-base);
}

/* ==========================================
   Info Box (Table problems)
   ========================================== */
.info-box {
    margin-top: var(--space-4);
    padding: var(--space-3) var(--space-4);
    background: var(--bg-tertiary);
    border-radius: var(--radius-lg);
    border: 1px solid var(--border-subtle);
}

.info-item {
    font-size: var(--font-size-sm);
    color: var(--text-secondary);
    padding: var(--space-1) 0;
    line-height: 1.5;
}

.order-container {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: var(--space-4);
    width: 100%;
    max-width: 500px;
    margin: 0 auto;
}

.order-slots {
    display: flex;
    align-items: center;
    gap: var(--space-4);
    width: 100%;
    justify-content: center;
}

.order-slot {
    flex: 1;
    max-width: 120px;
    text-align: center;
}

.order-position {
    font-size: var(--font-size-sm);
    color: var(--text-muted);
    margin-bottom: var(--space-2);
}

.order-box {
    padding: var(--space-4);
    background: var(--bg-tertiary);
    border: 2px solid var(--border-default);
    border-radius: var(--radius-md);
    min-height: 60px;
    display: flex;
    align-items: center;
    justify-content: center;
    font-weight: 500;
    transition: all var(--transition-base);
}

.order-box.confirmed {
    border-color: var(--color-confirmed);
    background: var(--color-confirmed-bg);
    color: var(--color-confirmed);
}

.order-box.eliminated {
    border-color: var(--color-eliminated);
    opacity: 0.5;
}

.order-box.highlighted {
    border-color: var(--color-highlight);
    background: var(--color-highlight-bg);
    color: var(--color-highlight);
}

/* ==========================================
   Explanation Container
   ========================================== */
.explanation-container {
    background: var(--bg-card);
    border: 1px solid var(--border-subtle);
    border-radius: var(--radius-xl);
    padding: var(--space-6);
    margin-bottom: var(--space-6);
}

.explanation-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: var(--space-3);
    margin-bottom: var(--space-4);
}

.explanation-header h3 {
    font-size: var(--font-size-lg);
    font-weight: 600;
    color: var(--text-primary);
}

/* Hint button — sits in the header row */
.hint-btn {
    display: inline-flex;
    align-items: center;
    gap: var(--space-1);
    padding: var(--space-1) var(--space-3);
    border: 1px solid var(--color-accent);
    border-radius: 999px;
    background: transparent;
    color: var(--color-accent);
    font-size: var(--font-size-sm);
    font-family: var(--font-family);
    cursor: pointer;
    white-space: nowrap;
    transition: all var(--transition-fast);
}

.hint-btn:hover:not(:disabled) {
    background: rgba(139, 92, 246, 0.12);
}

.hint-btn:disabled {
    opacity: 0.35;
    cursor: default;
    border-color: var(--border-default);
    color: var(--text-muted);
}

.explanation-content {
    padding-left: 0;
}

.instruction {
    font-size: var(--font-size-base);
    color: var(--text-primary);
    font-weight: 500;
    margin-bottom: var(--space-3);
}

.explanation {
    display: none;
    color: var(--text-secondary);
    line-height: 1.7;
    margin-bottom: var(--space-4);
}

.explanation.visible {
    display: block;
}

.tip {
    display: none;
    padding: var(--space-3) var(--space-4);
    background: rgba(139, 92, 246, 0.1);
    border-left: 3px solid var(--color-accent);
    border-radius: 0 var(--radius-sm) var(--radius-sm) 0;
    color: var(--color-accent);
    font-size: var(--font-size-sm);
}

.tip.visible {
    display: block;
}

/* ==========================================
   Controls
   ========================================== */
.controls-container {
    display: flex;
    flex-wrap: wrap;
    gap: var(--space-4);
    justify-content: center;
    margin-bottom: var(--space-6);
}

.control-btn {
    display: inline-flex;
    align-items: center;
    gap: var(--space-2);
    padding: var(--space-3) var(--space-6);
    border-radius: var(--radius-lg);
    font-size: var(--font-size-base);
    font-weight: 500;
    cursor: pointer;
    transition: all var(--transition-fast);
    border: none;
}

.control-btn:disabled {
    opacity: 0.5;
    cursor: not-allowed;
}

.control-btn.primary {
    background: linear-gradient(135deg, var(--color-primary) 0%, var(--color-primary-hover) 100%);
    color: white;
}

.control-btn.primary:hover:not(:disabled) {
    transform: translateY(-2px);
    box-shadow: var(--shadow-md), 0 0 20px rgba(99, 102, 241, 0.4);
}

.control-btn.secondary {
    background: var(--bg-tertiary);
    color: var(--text-secondary);
    border: 1px solid var(--border-default);
}

.control-btn.secondary:hover:not(:disabled) {
    background: var(--bg-card-hover);
    color: var(--text-primary);
}

.control-btn.accent {
    background: linear-gradient(135deg, var(--color-accent) 0%, var(--color-accent-hover) 100%);
    color: white;
}

.control-btn.accent:hover:not(:disabled) {
    transform: translateY(-2px);
    box-shadow: var(--shadow-md), 0 0 20px rgba(139, 92, 246, 0.4);
}

.control-btn.reset {
    background: transparent;
    color: var(--text-muted);
    border: 1px solid var(--border-subtle);
}

.control-btn.reset:hover:not(:disabled) {
    background: var(--color-eliminated-bg);
    color: var(--color-eliminated);
    border-color: var(--color-eliminated);
}

/* ==========================================
   Summary
   ========================================== */
.summary-container {
    background: linear-gradient(135deg, rgba(16, 185, 129, 0.1) 0%, rgba(59, 130, 246, 0.1) 100%);
    border: 1px solid var(--color-confirmed);
    border-radius: var(--radius-xl);
    padding: var(--space-8);
    text-align: center;
}

.summary-header {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: var(--space-3);
    margin-bottom: var(--space-6);
}

.summary-icon {
    font-size: var(--font-size-3xl);
}

.summary-header h3 {
    font-size: var(--font-size-2xl);
    font-weight: 700;
    color: var(--color-confirmed);
}

.summary-content {
    display: flex;
    flex-direction: column;
    gap: var(--space-6);
}

.answer-box,
.reasoning-box {
    background: var(--bg-card);
    border-radius: var(--radius-lg);
    padding: var(--space-5);
    text-align: left;
}

.answer-label,
.reasoning-label {
    display: block;
    font-size: var(--font-size-sm);
    font-weight: 600;
    color: var(--text-muted);
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: var(--space-2);
}

.answer-text {
    font-size: var(--font-size-lg);
    font-weight: 600;
    color: var(--color-confirmed);
}

.reasoning-text {
    color: var(--text-secondary);
    line-height: 1.7;
}

/* ==========================================
   Toast Notifications
   ========================================== */
#toastContainer {
    position: fixed;
    top: var(--space-6);
    right: var(--space-6);
    z-index: 9999;
    display: flex;
    flex-direction: column;
    gap: var(--space-3);
    max-width: 360px;
    pointer-events: none;
}

.toast {
    display: flex;
    align-items: center;
    gap: var(--space-3);
    padding: var(--space-3) var(--space-4);
    border-radius: var(--radius-lg);
    background: var(--bg-card);
    border: 1px solid var(--border-default);
    box-shadow: var(--shadow-lg);
    opacity: 0;
    pointer-events: all;
}

.toast-error {
    border-color: var(--color-eliminated);
    background: var(--color-eliminated-bg);
}

.toast-success {
    border-color: var(--color-confirmed);
    background: var(--color-confirmed-bg);
}

.toast-info {
    border-color: var(--color-highlight);
    background: var(--color-highlight-bg);
}

.toast-icon {
    font-size: var(--font-size-lg);
    flex-shrink: 0;
}

.toast-message {
    flex: 1;
    font-size: var(--font-size-sm);
    color: var(--text-primary);
    line-height: 1.4;
}

.toast-close {
    background: none;
    border: none;
    color: var(--text-muted);
    cursor: pointer;
    font-size: var(--font-size-lg);
    padding: 0;
    line-height: 1;
    flex-shrink: 0;
}

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

@media (max-width: 480px) {
    #toastContainer {
        top: var(--space-4);
        right: var(--space-4);
        left: var(--space-4);
        max-width: none;
    }
}

/* ==========================================
   Responsive Adjustments
   ========================================== */
@media (max-width: 768px) {
    .problem-cards {
        grid-template-columns: 1fr;
    }
    
    .controls-container {
        flex-direction: column;
        align-items: stretch;
    }
    
    .control-btn {
        justify-content: center;
    }
    
    .sequence-box {
        width: 50px;
        height: 50px;
        font-size: var(--font-size-lg);
    }
    
    .order-slots {
        flex-direction: column;
    }
    
    .order-slot {
        max-width: 100%;
    }

    /* Venn: shrink stage height on narrow screens; circles stay %-based */
    .venn-stage       { height: 180px; }
    .venn-circle-bg   { height: 128px; top: 26px; }
    .venn-val         { top: 90px; font-size: var(--font-size-xl); }
}

/* ==========================================
   Proposition Visualizer
   ========================================== */
.prop-container {
    display: flex;
    flex-direction: column;
    gap: var(--space-3);
    padding: var(--space-4);
}

.prop-statement {
    background: var(--bg-secondary);
    border: 1px solid var(--border-default);
    border-radius: var(--radius-lg);
    padding: var(--space-4) var(--space-5);
    transition: all var(--transition-base);
}

.prop-statement.active {
    border-color: var(--color-primary);
    box-shadow: 0 0 0 1px var(--color-primary);
}

.prop-premise {
    border-left: 3px solid var(--color-highlight);
}

.prop-conclusion {
    border-left: 3px solid var(--color-accent);
    background: rgba(139, 92, 246, 0.08);
}

.prop-label {
    font-size: var(--font-size-xs);
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
    display: block;
    margin-bottom: var(--space-1);
}

.prop-text {
    color: var(--text-primary);
    font-size: var(--font-size-base);
    line-height: 1.5;
}

.prop-valid-badge,
.prop-invalid-badge {
    display: inline-block;
    margin-top: var(--space-2);
    padding: var(--space-1) var(--space-3);
    border-radius: var(--radius-sm);
    font-size: var(--font-size-sm);
    font-weight: 600;
}

.prop-valid-badge {
    background: var(--color-confirmed-bg);
    color: var(--color-confirmed);
    border: 1px solid var(--color-confirmed);
}

.prop-invalid-badge {
    background: var(--color-eliminated-bg);
    color: var(--color-eliminated);
    border: 1px solid var(--color-eliminated);
}

.prop-connector,
.prop-therefore {
    text-align: center;
    font-size: var(--font-size-xl);
    color: var(--text-muted);
    line-height: 1;
    padding: var(--space-1) 0;
}

.prop-therefore {
    font-size: var(--font-size-2xl);
    color: var(--color-accent);
}

.prop-infos {
    margin-top: var(--space-3);
    display: flex;
    flex-direction: column;
    gap: var(--space-2);
}

.prop-info-item {
    font-size: var(--font-size-sm);
    color: var(--text-secondary);
    padding: var(--space-2) var(--space-3);
    background: var(--bg-tertiary);
    border-radius: var(--radius-sm);
}

/* ==========================================
   Venn Diagram Visualizer
   ========================================== */
.venn-container {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: var(--space-5);
    padding: var(--space-6) var(--space-4);
}

/*
 * Stage: percentage-based so circles and values stay proportional at any width.
 *
 * Layout math (circles are 62% wide each):
 *   Circle A : 0%  → 62%   — center at 31%
 *   Circle B : 38% → 100%  — center at 69%
 *   Overlap  : 38% → 62%   — center at 50%
 *   Excl. A  : 0%  → 38%   — value target: ~19%
 *   Excl. B  : 62% → 100%  — value target: ~81%
 */
.venn-stage {
    position: relative;
    width: 100%;
    max-width: 440px;
    /* height drives the ellipse aspect ratio; values are vertically centered */
    height: 220px;
}

/* Ellipse backgrounds — purely visual, no content inside */
.venn-circle-bg {
    position: absolute;
    width: 62%;
    /* height expressed as % of the stage height so the ellipse stays round-ish */
    height: 160px;
    top: 30px;
    border-radius: 50%;
    transition: background var(--transition-base), border-color var(--transition-base);
    pointer-events: none;
}

.venn-bg-a {
    left: 0;
    background: rgba(99, 102, 241, 0.15);
    border: 2px solid var(--color-primary);
}

.venn-bg-b {
    right: 0;
    background: rgba(139, 92, 246, 0.15);
    border: 2px solid var(--color-accent);
}

/* Highlight state */
.venn-bg-a.venn-hl     { background: rgba(251, 191, 36, 0.18); border-color: #fbbf24; }
.venn-bg-b.venn-hl     { background: rgba(251, 191, 36, 0.18); border-color: #fbbf24; }
.venn-neither.venn-hl  { background: rgba(251, 191, 36, 0.15); border-color: #fbbf24; }

/* Labels sit at the top of each circle's outer edge — angled away from center */
.venn-label {
    position: absolute;
    top: 10px;
    font-size: var(--font-size-xs);
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.07em;
    color: var(--text-secondary);
    pointer-events: none;
    white-space: nowrap;
}

.venn-label-a { left: 6%; }
.venn-label-b { right: 6%; }

/* Region values — all absolutely placed, all share the same vertical midpoint */
.venn-val {
    position: absolute;
    font-size: var(--font-size-2xl);
    font-weight: 700;
    color: var(--text-primary);
    line-height: 1;
    /* vertical center: top(30) + height(160)/2 = 110px */
    top: 110px;
    transform: translate(-50%, -50%);
    transition: color var(--transition-base);
    pointer-events: none;
}

.venn-val.venn-hl { color: #fbbf24; }

.venn-val-a    { left: 19%; }   /* center of exclusive-A zone (0%–38%) */
.venn-val-both { left: 50%; }   /* center of overlap zone (38%–62%)    */
.venn-val-b    { left: 81%; }   /* center of exclusive-B zone (62%–100%) */

/* Neither row — override absolute positioning */
.venn-neither {
    display: flex;
    align-items: center;
    gap: var(--space-3);
    padding: var(--space-3) var(--space-5);
    background: var(--bg-secondary);
    border: 1px solid var(--border-default);
    border-radius: var(--radius-lg);
    width: 100%;
    max-width: 440px;
    transition: all var(--transition-base);
}

.venn-neither-label {
    flex: 1;
    font-size: var(--font-size-sm);
    color: var(--text-secondary);
    font-weight: 500;
}

.venn-neither .venn-val {
    position: static;
    transform: none;
    font-size: var(--font-size-xl);
}

.venn-infos {
    display: flex;
    flex-direction: column;
    gap: var(--space-2);
    width: 100%;
    max-width: 440px;
}

.venn-info-item {
    font-size: var(--font-size-sm);
    color: var(--text-secondary);
    padding: var(--space-2) var(--space-3);
    background: var(--bg-tertiary);
    border-radius: var(--radius-sm);
}

/* ==========================================
   Truth/False Visualizer
   ========================================== */
.truth-container {
    display: flex;
    flex-direction: column;
    gap: var(--space-3);
    padding: var(--space-4);
}

.truth-card {
    background: var(--bg-secondary);
    border: 1px solid var(--border-default);
    border-radius: var(--radius-lg);
    padding: var(--space-4) var(--space-5);
    transition: all var(--transition-base);
}

.truth-card.active {
    border-color: var(--color-primary);
    box-shadow: 0 0 0 1px var(--color-primary);
}

.truth-role-truth {
    border-left: 3px solid var(--color-confirmed);
    background: var(--color-confirmed-bg);
}

.truth-role-liar {
    border-left: 3px solid var(--color-eliminated);
    background: var(--color-eliminated-bg);
}

.truth-card-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    margin-bottom: var(--space-2);
}

.truth-name {
    font-weight: 700;
    font-size: var(--font-size-base);
    color: var(--text-primary);
}

.truth-badge {
    display: inline-block;
    padding: var(--space-1) var(--space-3);
    border-radius: var(--radius-sm);
    font-size: var(--font-size-xs);
    font-weight: 600;
}

.truth-badge-truth {
    background: var(--color-confirmed-bg);
    color: var(--color-confirmed);
    border: 1px solid var(--color-confirmed);
}

.truth-badge-liar {
    background: var(--color-eliminated-bg);
    color: var(--color-eliminated);
    border: 1px solid var(--color-eliminated);
}

.truth-statement {
    color: var(--text-secondary);
    font-size: var(--font-size-sm);
    font-style: italic;
    line-height: 1.5;
}

.truth-infos {
    margin-top: var(--space-3);
    display: flex;
    flex-direction: column;
    gap: var(--space-2);
}

.truth-info-item {
    font-size: var(--font-size-sm);
    color: var(--text-secondary);
    padding: var(--space-2) var(--space-3);
    background: var(--bg-tertiary);
    border-radius: var(--radius-sm);
}

/* ==========================================
   Floating Feedback Button (FAB)
   ========================================== */
.feedback-fab {
    position: fixed;
    bottom: var(--space-6);
    right: var(--space-6);
    z-index: 90;
    display: inline-flex;
    align-items: center;
    gap: var(--space-2);
    padding: var(--space-3) var(--space-5);
    background: linear-gradient(135deg, var(--color-primary), var(--color-accent));
    color: #fff;
    font-size: var(--font-size-sm);
    font-weight: 600;
    font-family: var(--font-family);
    border: none;
    border-radius: 999px;
    cursor: pointer;
    box-shadow: 0 4px 16px rgba(99, 102, 241, 0.45);
    transition: transform var(--transition-fast), box-shadow var(--transition-fast);
}

.feedback-fab:hover {
    transform: translateY(-2px);
    box-shadow: 0 6px 24px rgba(99, 102, 241, 0.55);
}

.feedback-fab:active {
    transform: translateY(0);
}

/* ==========================================
   Feedback Modal
   ========================================== */
.modal-backdrop {
    position: fixed;
    inset: 0;
    z-index: 100;
    background: rgba(0, 0, 0, 0.65);
    backdrop-filter: blur(4px);
    display: flex;
    align-items: center;
    justify-content: center;
    padding: var(--space-4);
    animation: fadeIn var(--transition-base);
}

.modal-backdrop.hidden {
    display: none;
}

.modal-card {
    background: var(--bg-secondary);
    border: 1px solid var(--border-default);
    border-radius: var(--radius-2xl);
    width: 100%;
    max-width: 520px;
    max-height: 90vh;
    overflow-y: auto;
    box-shadow: 0 24px 48px rgba(0, 0, 0, 0.5);
    animation: slideUp var(--transition-base);
}

@keyframes slideUp {
    from { transform: translateY(20px); opacity: 0; }
    to   { transform: translateY(0);    opacity: 1; }
}

.modal-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: var(--space-6) var(--space-6) var(--space-4);
    border-bottom: 1px solid var(--border-subtle);
}

.modal-title {
    font-size: var(--font-size-lg);
    font-weight: 700;
    color: var(--text-primary);
}

.modal-close {
    width: 32px;
    height: 32px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: none;
    border: 1px solid var(--border-default);
    border-radius: var(--radius-md);
    color: var(--text-secondary);
    font-size: var(--font-size-lg);
    cursor: pointer;
    transition: all var(--transition-fast);
    flex-shrink: 0;
}

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

/* Form inside modal */
.modal-form {
    padding: var(--space-6);
    display: flex;
    flex-direction: column;
    gap: var(--space-5);
}

.form-group {
    display: flex;
    flex-direction: column;
    gap: var(--space-2);
}

.form-label {
    font-size: var(--font-size-sm);
    font-weight: 600;
    color: var(--text-primary);
}

.form-label-hint {
    font-weight: 400;
    color: var(--text-muted);
}

.form-input,
.form-textarea {
    background: var(--bg-tertiary);
    border: 1px solid var(--border-default);
    border-radius: var(--radius-md);
    color: var(--text-primary);
    font-family: var(--font-family);
    font-size: var(--font-size-base);
    padding: var(--space-3) var(--space-4);
    transition: border-color var(--transition-fast);
    width: 100%;
}

.form-input::placeholder,
.form-textarea::placeholder {
    color: var(--text-muted);
}

.form-input:focus,
.form-textarea:focus {
    outline: none;
    border-color: var(--color-primary);
    box-shadow: 0 0 0 2px rgba(99, 102, 241, 0.2);
}

.form-textarea {
    resize: vertical;
    min-height: 120px;
    line-height: 1.6;
}

/* File drop zone */
.file-drop-zone {
    position: relative;
    display: flex;
    align-items: center;
    gap: var(--space-3);
    padding: var(--space-4);
    background: var(--bg-tertiary);
    border: 2px dashed var(--border-default);
    border-radius: var(--radius-lg);
    cursor: pointer;
    transition: all var(--transition-fast);
    color: var(--text-secondary);
    font-size: var(--font-size-sm);
}

.file-drop-zone:hover,
.file-drop-zone.drag-over {
    border-color: var(--color-primary);
    background: rgba(99, 102, 241, 0.06);
    color: var(--text-primary);
}

.file-drop-zone input[type="file"] {
    position: absolute;
    inset: 0;
    opacity: 0;
    cursor: pointer;
    width: 100%;
    height: 100%;
}

.file-drop-icon {
    font-size: var(--font-size-xl);
    flex-shrink: 0;
}

/* File list */
.file-list {
    display: flex;
    flex-direction: column;
    gap: var(--space-2);
    margin-top: var(--space-2);
}

.file-item {
    display: flex;
    align-items: center;
    gap: var(--space-2);
    padding: var(--space-2) var(--space-3);
    background: var(--bg-card);
    border: 1px solid var(--border-subtle);
    border-radius: var(--radius-md);
    font-size: var(--font-size-sm);
}

.file-icon { font-size: var(--font-size-base); flex-shrink: 0; }
.file-name { flex: 1; color: var(--text-primary); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.file-size { color: var(--text-muted); white-space: nowrap; }

.file-embed-badge {
    font-size: 0.65rem;
    font-weight: 600;
    padding: 1px 6px;
    border-radius: 999px;
    white-space: nowrap;
    flex-shrink: 0;
}
.file-embed-yes { background: #d1fae5; color: #065f46; }
.file-embed-no  { background: #fef3c7; color: #92400e; }

.file-remove {
    background: none;
    border: none;
    color: var(--text-muted);
    font-size: var(--font-size-lg);
    line-height: 1;
    cursor: pointer;
    padding: 0 var(--space-1);
    border-radius: var(--radius-sm);
    transition: color var(--transition-fast);
    flex-shrink: 0;
}

.file-remove:hover { color: var(--color-eliminated); }

/* Modal action row */
.modal-actions {
    display: flex;
    gap: var(--space-3);
    justify-content: flex-end;
    padding-top: var(--space-2);
}

/* Success state */
.modal-success {
    padding: var(--space-10) var(--space-6);
    text-align: center;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: var(--space-4);
}

.modal-success.hidden { display: none; }

.modal-success-icon {
    font-size: 3rem;
    line-height: 1;
}

.modal-success h3 {
    font-size: var(--font-size-xl);
    font-weight: 700;
    color: var(--text-primary);
}

.modal-success p {
    color: var(--text-secondary);
    font-size: var(--font-size-base);
}

@media (max-width: 480px) {
    .feedback-fab {
        bottom: var(--space-4);
        right: var(--space-4);
        padding: var(--space-3) var(--space-4);
    }

    .modal-actions {
        flex-direction: column-reverse;
    }

    .modal-actions .control-btn {
        width: 100%;
        justify-content: center;
    }
}