.math-truth-legend{display:flex;flex-wrap:wrap;gap:16px;margin-bottom:14px;font-size:13px;color:var(--math-text-soft);align-items:center}.math-truth-legend-item{display:inline-flex;align-items:center;gap:6px;background:var(--math-surface-alt);border:1px solid var(--math-border-light);padding:6px 12px;border-radius:var(--math-radius-full)}.math-truth-legend-cell{display:inline-flex;align-items:center;justify-content:center;width:22px;height:22px;border-radius:5px;font-weight:700;font-size:12px;font-family:SF Mono,Monaco,Consolas,monospace}.math-truth-legend-cell.zero{background:#ef44441f;color:#b91c1c;border:1px solid rgba(239,68,68,.25)}.math-truth-legend-cell.one{background:#10b98126;color:#047857;border:1px solid rgba(16,185,129,.3)}.math-truth-col-label{display:block;font-size:10px;color:var(--math-text-muted);font-weight:500;text-transform:uppercase;letter-spacing:.04em;margin-top:2px}.math-truth-summary{margin-top:14px;padding:12px 16px;background:var(--math-surface-alt);border-radius:var(--math-radius-sm);border:1px solid var(--math-border-light);display:flex;flex-wrap:wrap;gap:18px;font-size:13px;color:var(--math-text-soft)}.math-truth-summary-item strong{color:var(--math-text);font-weight:700}.math-truth-summary-head{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:12px;padding:14px 16px;margin-bottom:14px;background:linear-gradient(135deg,#c01c8e14,#10b9810f);border:1px solid var(--math-border-light);border-radius:var(--math-radius-sm)}.math-truth-summary-main{display:flex;flex-direction:column;gap:4px;min-width:0;flex:1 1 280px}.math-truth-summary-label{font-size:11px;text-transform:uppercase;letter-spacing:.06em;color:var(--math-text-muted);font-weight:600}.math-truth-summary-value{font-size:16px;color:var(--math-text);font-weight:600;word-break:break-word}.math-truth-summary-value code{background:transparent;padding:0;color:#7d0f5e;font-size:15px}.math-truth-summary-meta{display:flex;flex-wrap:wrap;gap:8px;align-items:center}.math-truth-class-badge,.math-truth-count-chip,.math-truth-vars-chip{display:inline-flex;align-items:center;gap:6px;padding:5px 12px;border-radius:var(--math-radius-full);font-size:12px;font-weight:600;border:1px solid var(--math-border-light);background:#fff;color:var(--math-text-soft)}.math-truth-class-badge[data-class=tautology]{background:#10b9811f;color:#047857;border-color:#10b9814d}.math-truth-class-badge[data-class=contradiction]{background:#ef44441f;color:#b91c1c;border-color:#ef44444d}.math-truth-class-badge[data-class=contingent]{background:#c01c8e1f;color:#7d0f5e;border-color:#c01c8e4d}.math-truth-count-chip[data-val=one]{background:#10b98114;color:#047857;border-color:#10b98138}.math-truth-count-chip[data-val=zero]{background:#ef444414;color:#b91c1c;border-color:#ef444438}.math-truth-vars-chip{font-family:SF Mono,Monaco,Consolas,monospace;color:#7d0f5e;background:#c01c8e0f;border-color:#c01c8e38}.math-truth-accent-sub{color:#b45309;background:#fbbf2424;padding:1px 6px;border-radius:4px;font-weight:600}.math-truth-accent-result{color:#047857;background:#10b98124;padding:1px 6px;border-radius:4px;font-weight:600}.math-truth-subchain{margin-bottom:14px;padding:12px 16px;background:#fffbeb;border:1px solid rgba(251,191,36,.35);border-radius:var(--math-radius-sm)}.math-truth-subchain-title{display:flex;align-items:center;gap:8px;font-size:13px;font-weight:700;color:#b45309;margin-bottom:10px}.math-truth-subchain-list{display:flex;flex-wrap:wrap;align-items:center;gap:8px}.math-truth-subchain-step{display:inline-flex;align-items:center;gap:6px;background:#fff;border:1px solid rgba(251,191,36,.4);padding:5px 10px 5px 5px;border-radius:var(--math-radius-full);font-size:12px}.math-truth-subchain-step.is-final{background:#10b9811f;border-color:#10b98166}.math-truth-subchain-num{display:inline-flex;align-items:center;justify-content:center;width:22px;height:22px;border-radius:50%;background:#fbbf24;color:#78350f;font-weight:700;font-size:11px}.math-truth-subchain-step.is-final .math-truth-subchain-num{background:#10b981;color:#fff}.math-truth-subchain-step code{background:transparent;padding:0;color:#78350f;font-size:12px;font-weight:600}.math-truth-subchain-step.is-final code{color:#047857}.math-truth-subchain-op{background:#fbbf2433;color:#92400e;padding:1px 7px;border-radius:4px;font-size:10.5px;font-weight:700;letter-spacing:.03em}.math-truth-subchain-step.is-final .math-truth-subchain-op{background:#10b98140;color:#047857}.math-truth-subchain-arrow{color:#d97706;font-weight:700;font-size:14px}.math-truth-legend-cell.var-col{background:#c01c8e1a;color:#7d0f5e;border:1px solid rgba(192,28,142,.25)}.math-truth-legend-cell.sub-col{background:#fbbf2426;color:#b45309;border:1px solid rgba(251,191,36,.35)}.math-truth-legend-cell.result-cell{background:#10b9812e;color:#047857;border:1px solid rgba(16,185,129,.35)}.math-truth-hint{display:flex;align-items:center;gap:8px;padding:8px 12px;margin-bottom:10px;background:#c01c8e0f;border-left:3px solid #C01C8E;border-radius:0 4px 4px 0;font-size:12.5px;color:#7d0f5e}.math-truth-hint i{color:#eab308}.math-truth-table-wrap{overflow-x:auto;margin-bottom:14px;border:1px solid var(--math-border-light);border-radius:var(--math-radius-sm);-webkit-overflow-scrolling:touch}.math-truth-table-wrap .math-truth-table{margin:0;min-width:100%}.math-truth-table th.math-truth-idx-col,.math-truth-table td.math-truth-idx-cell{width:40px;text-align:center;background:var(--math-surface-alt);color:var(--math-text-muted);font-weight:500;font-size:11px;font-family:SF Mono,Monaco,Consolas,monospace}.math-truth-table td.math-truth-idx-cell{border-right:2px solid var(--math-border-light)}.math-truth-table th.math-truth-col-var{background:#c01c8e14;color:#7d0f5e}.math-truth-table th.math-truth-col-sub{background:#fbbf241f;color:#b45309}.math-truth-table th.math-truth-col-result{background:#10b98124;color:#047857}.math-truth-table th .math-truth-col-main code{font-size:12.5px;background:transparent;padding:0;color:inherit;font-weight:600;white-space:nowrap}.math-truth-table td.math-truth-col-sub{font-family:SF Mono,Monaco,Consolas,monospace;font-weight:600}.math-truth-table td.math-truth-col-sub.math-truth-zero{background:#ef44440f;color:#b91c1c}.math-truth-table td.math-truth-col-sub.math-truth-one{background:#10b98114;color:#047857}.math-truth-table td.math-truth-col-result.math-truth-zero{background:#ef444429;font-weight:700;border-left:2px solid rgba(239,68,68,.35)}.math-truth-table td.math-truth-col-result.math-truth-one{background:#10b98133;font-weight:700;border-left:2px solid rgba(16,185,129,.45)}.math-truth-table th.math-truth-col-result{border-left:2px solid rgba(16,185,129,.35)}.math-truth-table tbody tr[data-row-idx]{cursor:pointer;transition:background .15s ease}.math-truth-table tbody tr[data-row-idx]:hover td{background:#c01c8e0f}.math-truth-table tbody tr.is-focused td{background:#c01c8e1f!important;box-shadow:inset 0 0 0 1px #c01c8e4d}.math-truth-table tbody tr.is-focused td.math-truth-col-result{background:#10b98138!important}.math-truth-trace-panel{margin-bottom:14px;padding:14px 16px;background:linear-gradient(135deg,#c01c8e0d,#fbbf240a);border:1px solid rgba(192,28,142,.2);border-radius:var(--math-radius-sm);box-shadow:0 1px 3px #0000000a}.math-truth-trace-header{display:flex;align-items:center;justify-content:space-between;margin-bottom:12px;gap:8px}.math-truth-trace-title{font-size:13px;font-weight:700;color:#7d0f5e;display:flex;align-items:center;gap:8px}.math-truth-trace-close{width:26px;height:26px;border-radius:50%;border:1px solid var(--math-border-light);background:#fff;color:var(--math-text-muted);font-size:18px;line-height:1;cursor:pointer;transition:all .15s ease}.math-truth-trace-close:hover{background:#ef44441a;border-color:#ef44444d;color:#b91c1c}.math-truth-trace-inputs{font-size:13px;color:var(--math-text-soft);padding:8px 12px;background:#fff;border-radius:var(--math-radius-sm);border:1px solid var(--math-border-light);margin-bottom:12px;display:flex;flex-wrap:wrap;gap:12px;align-items:center}.math-truth-trace-inputs strong{color:var(--math-text);margin-right:4px}.math-truth-trace-var{display:inline-flex;align-items:center;gap:6px;font-family:SF Mono,Monaco,Consolas,monospace;font-size:12.5px;font-weight:600;color:#7d0f5e}.math-truth-zero-pill,.math-truth-one-pill{display:inline-flex;align-items:center;justify-content:center;width:22px;height:22px;border-radius:5px;font-weight:700;font-size:12px;font-family:SF Mono,Monaco,Consolas,monospace}.math-truth-zero-pill{background:#ef444424;color:#b91c1c;border:1px solid rgba(239,68,68,.28)}.math-truth-one-pill{background:#10b98129;color:#047857;border:1px solid rgba(16,185,129,.32)}.math-truth-trace-steps{display:flex;flex-direction:column;gap:6px}.math-truth-trace-step{display:flex;align-items:center;flex-wrap:wrap;gap:8px;padding:8px 12px;background:#fff;border:1px solid var(--math-border-light);border-left:3px solid rgba(251,191,36,.5);border-radius:var(--math-radius-sm);font-size:13px}.math-truth-trace-step.is-result{border-left-color:#10b981;background:#10b9810d}.math-truth-trace-num{display:inline-flex;align-items:center;justify-content:center;width:22px;height:22px;border-radius:50%;background:#fbbf2440;color:#92400e;font-weight:700;font-size:11px;flex-shrink:0}.math-truth-trace-step.is-result .math-truth-trace-num{background:#10b981;color:#fff}.math-truth-trace-expr{background:#c01c8e14;color:#7d0f5e;padding:3px 9px;border-radius:5px;font-size:12.5px;font-weight:600;font-family:SF Mono,Monaco,Consolas,monospace}.math-truth-trace-operands{background:#fbbf2426;color:#b45309;padding:3px 9px;border-radius:5px;font-size:12.5px;font-weight:600;font-family:SF Mono,Monaco,Consolas,monospace}.math-truth-trace-step.is-result .math-truth-trace-operands{background:#10b9811f;color:#047857}.math-truth-trace-eq{color:var(--math-text-muted);font-weight:700;font-size:14px}.math-truth-trace-badge{margin-left:auto;background:#10b981;color:#fff;padding:2px 8px;border-radius:var(--math-radius-full);font-size:10px;font-weight:700;letter-spacing:.05em}.math-truth-trace-val{color:#047857;font-weight:700}.math-truth-summary-verdict{display:inline-flex;align-items:center;gap:6px;padding:4px 10px;border-radius:var(--math-radius-full);font-weight:600}.math-truth-summary-verdict[data-verdict=taut]{background:#10b9811f;color:#047857}.math-truth-summary-verdict[data-verdict=contra]{background:#ef44441f;color:#b91c1c}.math-truth-summary-verdict[data-verdict=cont]{background:#c01c8e1f;color:#7d0f5e}@media(max-width:720px){.math-truth-summary-head{flex-direction:column;align-items:stretch}.math-truth-summary-main{flex:0 0 auto}.math-truth-summary-meta{gap:6px}.math-truth-class-badge,.math-truth-count-chip,.math-truth-vars-chip{font-size:11.5px;padding:4px 10px}.math-truth-trace-step{font-size:12px;padding:7px 10px}.math-truth-trace-expr,.math-truth-trace-operands{font-size:11.5px}.math-truth-subchain-list{gap:4px}.math-truth-table-wrap{border-radius:var(--math-radius-sm)}}