.tt-section[data-astro-cid-4n7i2onf]{margin-top:var(--space-4)}.tt-section-head[data-astro-cid-4n7i2onf]{display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);flex-wrap:wrap;margin-bottom:var(--space-2)}.tt-label[data-astro-cid-4n7i2onf],.tt-section-label[data-astro-cid-4n7i2onf]{display:block;font-size:var(--text-sm);font-weight:600;color:var(--color-fg)}.tt-section-tools[data-astro-cid-4n7i2onf]{display:inline-flex;align-items:center;gap:var(--space-2);flex-wrap:wrap}.tt-ghost-btn[data-astro-cid-4n7i2onf]{font-family:var(--font-sans);font-size:var(--text-sm);padding:var(--space-1) var(--space-3);border:1px solid var(--color-border);background:transparent;color:var(--color-fg);border-radius:var(--radius);cursor:pointer;transition:background .12s ease}.tt-ghost-btn[data-astro-cid-4n7i2onf]:hover{background:var(--color-bg-elevated)}.tt-ghost-btn[data-astro-cid-4n7i2onf]:focus-visible{outline:2px solid var(--color-accent);outline-offset:2px}.tt-textarea[data-astro-cid-4n7i2onf]{width:100%;min-height:3rem;resize:vertical;font-family:var(--font-mono);font-size:1rem;line-height:1.5;padding:var(--space-3);border:1px solid var(--color-border);border-radius:var(--radius);background:var(--color-bg-elevated);color:var(--color-fg)}.tt-textarea[data-astro-cid-4n7i2onf]:focus-visible{outline:2px solid var(--color-accent);outline-offset:2px}.tt-error[data-astro-cid-4n7i2onf]{margin-top:var(--space-2);font-size:var(--text-sm);color:var(--color-danger, #b00020);font-family:var(--font-mono)}.tt-legend[data-astro-cid-4n7i2onf]{margin-top:var(--space-4);padding:var(--space-3) var(--space-4);border:1px solid var(--color-border);border-radius:var(--radius);background:var(--color-bg-elevated)}.tt-legend[data-astro-cid-4n7i2onf] summary[data-astro-cid-4n7i2onf]{cursor:pointer;font-size:var(--text-sm);font-weight:600;color:var(--color-fg)}.tt-legend-table[data-astro-cid-4n7i2onf]{width:100%;margin-top:var(--space-3);border-collapse:collapse;font-size:var(--text-sm)}.tt-legend-table[data-astro-cid-4n7i2onf] th[data-astro-cid-4n7i2onf],.tt-legend-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf]{padding:var(--space-1) var(--space-2);text-align:left;border-bottom:1px solid var(--color-border)}.tt-legend-table[data-astro-cid-4n7i2onf] th[data-astro-cid-4n7i2onf]{font-weight:600;color:var(--color-fg)}.tt-legend-table[data-astro-cid-4n7i2onf] code[data-astro-cid-4n7i2onf]{font-family:var(--font-mono);background:transparent;padding:0;color:var(--color-fg)}.tt-legend-note[data-astro-cid-4n7i2onf]{margin-top:var(--space-3);font-size:var(--text-sm);color:var(--color-fg-muted);line-height:1.6}.tt-legend-note[data-astro-cid-4n7i2onf] code[data-astro-cid-4n7i2onf]{font-family:var(--font-mono)}.tt-verdict[data-astro-cid-4n7i2onf]{margin-top:var(--space-4)}.tt-verdict-grid[data-astro-cid-4n7i2onf]{display:grid;grid-template-columns:repeat(auto-fit,minmax(11rem,1fr));gap:var(--space-3)}.tt-stat[data-astro-cid-4n7i2onf]{padding:var(--space-3);border:1px solid var(--color-border);border-radius:var(--radius);background:var(--color-bg-elevated)}.tt-stat-label[data-astro-cid-4n7i2onf]{font-size:var(--text-sm);color:var(--color-fg-muted)}.tt-stat-value[data-astro-cid-4n7i2onf]{margin-top:var(--space-1);font-family:var(--font-mono);font-size:1.125rem;font-weight:600;color:var(--color-fg);word-break:break-word}.tt-stat-value[data-astro-cid-4n7i2onf][data-class=tautology]{color:var(--color-accent, #2563eb)}.tt-stat-value[data-astro-cid-4n7i2onf][data-class=contradiction]{color:var(--color-danger, #b00020)}.tt-table-section[data-astro-cid-4n7i2onf]{margin-top:var(--space-4)}.tt-table-wrap[data-astro-cid-4n7i2onf]{overflow-x:auto;margin-top:var(--space-2);border:1px solid var(--color-border);border-radius:var(--radius);background:var(--color-bg-elevated)}.tt-empty[data-astro-cid-4n7i2onf]{padding:var(--space-4);color:var(--color-fg-muted);font-size:var(--text-sm);margin:0}.tt-table[data-astro-cid-4n7i2onf]{width:100%;border-collapse:collapse;font-family:var(--font-mono);font-size:.95rem}.tt-table[data-astro-cid-4n7i2onf] th[data-astro-cid-4n7i2onf],.tt-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf]{padding:var(--space-2) var(--space-3);text-align:center;border-bottom:1px solid var(--color-border)}.tt-table[data-astro-cid-4n7i2onf] th[data-astro-cid-4n7i2onf]{font-weight:700;color:var(--color-fg);background:var(--color-bg, transparent);position:sticky;top:0}.tt-table[data-astro-cid-4n7i2onf] th[data-astro-cid-4n7i2onf].tt-result-col,.tt-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf].tt-result-col{border-left:2px solid var(--color-border);font-weight:700}.tt-table[data-astro-cid-4n7i2onf] tr[data-astro-cid-4n7i2onf]:last-child td[data-astro-cid-4n7i2onf]{border-bottom:none}.tt-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf][data-true=true]{color:var(--color-accent, #2563eb)}.tt-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf][data-true=false],.tt-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf].tt-false-row{color:var(--color-fg-muted)}.tt-table[data-astro-cid-4n7i2onf] td[data-astro-cid-4n7i2onf].tt-true-row{color:var(--color-accent, #2563eb)}