.math-bool-examples{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-top:12px;padding:10px 12px;background:var(--math-surface-alt);border:1px dashed var(--math-border);border-radius:var(--math-radius-sm)}.math-bool-examples-label{font-size:12px;color:var(--math-text-muted);font-weight:600;margin-right:4px}.math-bool-example-btn{background:var(--math-surface);border:1px solid var(--math-border);border-radius:var(--math-radius-sm);padding:6px 12px;font-size:12px;font-family:SF Mono,Monaco,Consolas,monospace;color:var(--math-text-soft);cursor:pointer;transition:all var(--math-transition)}.math-bool-example-btn:hover{background:var(--math-primary);color:#fff;border-color:var(--math-primary);transform:translateY(-1px)}.math-rule-name{display:inline-block;background:var(--math-primary-soft);color:var(--math-primary-hover);padding:2px 10px;border-radius:var(--math-radius-full);font-size:12px;font-weight:600;margin-right:6px}.math-rule-name-en{color:var(--math-text-muted);font-size:11px;font-weight:500;font-style:italic}.math-bool-summary-head{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:14px;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-bool-summary-main{display:flex;flex-wrap:wrap;align-items:center;gap:12px;min-width:0;flex:1 1 320px}.math-bool-summary-block{display:flex;flex-direction:column;gap:4px;min-width:0;flex:1 1 auto}.math-bool-summary-label{font-size:11px;text-transform:uppercase;letter-spacing:.06em;color:var(--math-text-muted);font-weight:600}.math-bool-summary-before,.math-bool-summary-after{font-size:15px;font-weight:700;padding:6px 10px;border-radius:6px;word-break:break-word;font-family:SF Mono,Monaco,Consolas,monospace}.math-bool-summary-before{background:#94a3b829;color:#475569;border:1px dashed rgba(148,163,184,.4)}.math-bool-summary-after{background:#10b98124;color:#047857;border:1px solid rgba(16,185,129,.35)}.math-bool-summary-arrow{color:var(--math-primary);font-size:18px;flex:0 0 auto;opacity:.75}.math-bool-summary-meta{display:flex;flex-wrap:wrap;gap:8px;align-items:center}.math-bool-class-badge,.math-bool-chip,.math-bool-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-bool-class-badge[data-class=tautology]{background:#10b9811f;color:#047857;border-color:#10b98159}.math-bool-class-badge[data-class=contradiction]{background:#ef44441f;color:#b91c1c;border-color:#ef444459}.math-bool-class-badge[data-class=simplified]{background:#c01c8e1f;color:#7d0f5e;border-color:#c01c8e4d}.math-bool-class-badge[data-class=unchanged]{background:#94a3b824;color:#475569;border-color:#94a3b859}.math-bool-chip-len,.math-bool-chip-rules{background:#fbbf2424;color:#92400e;border-color:#fbbf2459}.math-bool-chip-accent{margin-left:4px;padding:1px 6px;background:#10b98133;color:#047857;border-radius:4px;font-size:11px;font-weight:700}.math-bool-vars-chip{font-family:SF Mono,Monaco,Consolas,monospace;color:#7d0f5e;background:#c01c8e14;border-color:#c01c8e40}.math-bool-description{padding:12px 14px;margin-bottom:14px;background:var(--math-surface-alt);border-left:3px solid var(--math-primary);border-radius:6px;font-size:14px;color:var(--math-text-soft);line-height:1.6}.math-bool-description code{background:#c01c8e1a;color:#7d0f5e;padding:1px 6px;border-radius:4px;font-size:12.5px}.math-bool-description em{color:var(--math-text);font-style:italic;font-weight:600}.math-bool-accent-true{color:#047857;background:#10b98124;padding:1px 6px;border-radius:4px;font-weight:700}.math-bool-accent-false{color:#b91c1c;background:#ef444424;padding:1px 6px;border-radius:4px;font-weight:700}.math-bool-rules-panel{margin-bottom:14px;padding:12px 14px;background:#fffbeb;border:1px solid rgba(251,191,36,.35);border-radius:var(--math-radius-sm)}.math-bool-rules-title{display:flex;align-items:center;gap:8px;font-size:13px;font-weight:700;color:#b45309;margin-bottom:10px}.math-bool-rules-list{display:flex;flex-wrap:wrap;gap:8px}.math-bool-rule-chip{display:inline-flex;align-items:center;flex-wrap:wrap;gap:6px;background:#fff;border:1px solid rgba(251,191,36,.4);padding:5px 10px 5px 6px;border-radius:var(--math-radius-full);font-size:12px}.math-bool-rule-chip-num{display:inline-flex;align-items:center;justify-content:center;min-width:28px;height:22px;padding:0 6px;border-radius:var(--math-radius-full);background:#fbbf24;color:#78350f;font-weight:700;font-size:11px}.math-bool-rule-chip-arm{color:#78350f;font-weight:700}.math-bool-rule-chip-en{color:#b45309;font-size:11px;font-style:italic}.math-bool-rule-chip-desc{background:#fbbf242e;color:#78350f;padding:1px 6px;border-radius:4px;font-size:11px;font-weight:600}.math-bool-chain-panel{margin-bottom:12px;padding:14px 16px;background:#fff;border:1px solid var(--math-border-light);border-radius:var(--math-radius-sm)}.math-bool-chain-title{display:flex;align-items:center;gap:8px;font-size:13px;font-weight:700;color:var(--math-primary-hover);margin-bottom:12px}.math-bool-chain-empty{padding:10px 12px;background:var(--math-surface-alt);border:1px dashed var(--math-border);border-radius:6px;color:var(--math-text-muted);font-size:13px;display:flex;align-items:center;gap:8px}.math-bool-chain-list{display:flex;flex-direction:column;gap:0}.math-bool-chain-step{display:flex;align-items:center;gap:12px;padding:10px 12px;background:var(--math-surface-alt);border:1px solid var(--math-border-light);border-radius:8px}.math-bool-chain-step.is-initial{background:#94a3b81a;border-color:#94a3b84d}.math-bool-chain-step.is-final{background:#10b9811a;border-color:#10b98166}.math-bool-chain-num{flex:0 0 auto;display:inline-flex;align-items:center;justify-content:center;width:28px;height:28px;border-radius:50%;background:var(--math-primary);color:#fff;font-weight:700;font-size:13px}.math-bool-chain-step.is-initial .math-bool-chain-num{background:#94a3b8}.math-bool-chain-step.is-final .math-bool-chain-num{background:#10b981}.math-bool-chain-step-body{display:flex;flex-direction:column;gap:4px;min-width:0;flex:1 1 auto}.math-bool-chain-label{font-size:10.5px;text-transform:uppercase;letter-spacing:.06em;font-weight:700;color:var(--math-text-muted)}.math-bool-chain-step.is-final .math-bool-chain-label{color:#047857}.math-bool-chain-expr{background:transparent;padding:0;font-size:15px;font-weight:700;font-family:SF Mono,Monaco,Consolas,monospace;color:var(--math-text);word-break:break-word}.math-bool-chain-step.is-final .math-bool-chain-expr{color:#047857}.math-bool-chain-connector{display:flex;align-items:center;gap:10px;padding:6px 0 6px 14px;margin-left:14px;border-left:2px dashed rgba(192,28,142,.35)}.math-bool-chain-arrow{color:var(--math-primary);font-size:14px;margin-left:-22px;width:16px;text-align:center;background:#fff}.math-bool-chain-rule{display:inline-flex;align-items:center;flex-wrap:wrap;gap:6px;background:#c01c8e14;border:1px solid rgba(192,28,142,.25);padding:4px 10px;border-radius:var(--math-radius-full);font-size:12px}.math-bool-chain-rule-arm{color:#7d0f5e;font-weight:700}.math-bool-chain-rule-desc{background:transparent;color:#7d0f5e;padding:0;font-size:11.5px;font-weight:600}@media(max-width:640px){.math-bool-summary-head{flex-direction:column;align-items:stretch;gap:10px}.math-bool-summary-main{flex-direction:column;align-items:stretch;flex:0 0 auto}.math-bool-summary-arrow{transform:rotate(90deg);align-self:center}.math-bool-summary-before,.math-bool-summary-after{font-size:14px}.math-bool-chain-step{gap:8px;padding:8px 10px}.math-bool-chain-expr{font-size:13.5px}.math-bool-chain-connector{padding-left:10px;margin-left:12px}.math-bool-chain-rule,.math-bool-rule-chip{font-size:11px}}