.boolean-workbench{max-width:960px;margin:0 auto;color:var(--text-mid)}.boolean-workbench *{box-sizing:border-box;min-width:0}.boolean-jump{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:28px}.boolean-jump a{border:1px solid var(--border);border-radius:24px;padding:10px 14px;font-size:13px;color:var(--purple-600);text-decoration:none;background:var(--card-bg)}.boolean-panel{border:1px solid var(--border);border-radius:18px;margin-bottom:28px;padding:28px;background:var(--card-bg);scroll-margin-top:120px}.boolean-panel header{max-width:760px;margin:0 auto 22px}.boolean-eyebrow,.boolean-panel small{font:11px/1.6 var(--font-mono),monospace;letter-spacing:.035em;color:var(--text-soft)}.boolean-eyebrow{color:var(--purple-600)}.boolean-panel h2{font:650 clamp(22px,3vw,28px)/1.3 var(--font-fraunces);color:var(--text-strong);margin:8px 0 10px}.boolean-panel p{font-size:16px;line-height:1.7;margin:8px 0}.boolean-action,.boolean-workbench button{font:inherit;cursor:pointer;border:1px solid var(--border);background:var(--surface-2);color:var(--text-mid);border-radius:10px;min-height:44px;padding:10px 14px}.boolean-workbench button:disabled{opacity:.45;cursor:default}.boolean-workbench button[aria-pressed=true]{border-color:var(--purple-600);background:color-mix(in srgb,var(--purple-600) 10%,var(--card-bg));color:var(--purple-600)}.boolean-workbench a:focus-visible,.boolean-workbench button:focus-visible,.boolean-workbench summary:focus-visible{outline:2px solid var(--purple-600);outline-offset:3px}.boolean-choices{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}.boolean-choices button{font-size:13px}.boolean-inputs{display:flex;align-items:center;flex-wrap:wrap;gap:10px;margin-top:20px}.boolean-workbench .boolean-switch{display:grid;grid-template-columns:1fr auto;gap:2px 16px;align-items:center;min-width:80px;text-align:left;padding:10px 14px}.boolean-switch strong{font:700 23px var(--font-mono),monospace;grid-row:span 2}.boolean-switch small{font-size:9px}.boolean-hint{font-size:12px;color:var(--text-soft)}.boolean-circuit{padding:12px 0}.boolean-circuit svg{width:100%;max-height:260px;font:14px var(--font-mono),monospace}.boolean-circuit svg text{fill:var(--text-strong)}.boolean-wire{fill:none;stroke:var(--text-ghost);stroke-width:2px;transition:stroke .2s}.boolean-wire.is-high{stroke:var(--purple-600);stroke-width:3px;stroke-dasharray:8 5;animation:boolean-signal 1s linear infinite}.boolean-node{fill:var(--surface-2);stroke:var(--border-strong);stroke-width:2px;transition:fill .2s,stroke .2s}.boolean-node.is-high{fill:color-mix(in srgb,var(--purple-600) 13%,var(--card-bg));stroke:var(--purple-600)}.boolean-row-picker{display:grid;grid-template-columns:repeat(auto-fit,minmax(72px,1fr));gap:8px;margin:14px 0}.boolean-row-picker button{display:flex;flex-direction:column;gap:4px;align-items:center;padding:10px 8px}.boolean-row-picker code{font:15px var(--font-mono),monospace}.boolean-row-picker small{font-size:9px}.boolean-action{display:inline-flex;align-items:center;justify-content:center;text-decoration:none;margin-top:10px;font-size:13px}.boolean-panel details{margin-top:20px;border-top:1px solid var(--border);padding-top:16px}.boolean-panel summary{cursor:pointer;color:var(--text-strong);font-size:14px;min-height:28px}.boolean-panel details p{font-size:14px}.boolean-equivalence{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:16px;margin:24px 0 12px}.boolean-equivalence>div{display:flex;flex-direction:column;gap:12px;align-items:center;border:1px solid var(--border);padding:20px 14px;border-radius:12px;background:var(--surface-2);text-align:center}.boolean-equivalence code{font:18px/1.6 var(--font-mono),monospace;color:var(--text-strong);overflow-wrap:anywhere}.boolean-equivalence strong{display:grid;place-items:center;width:44px;height:44px;border:2px solid var(--purple-600);color:var(--purple-600);border-radius:50%;font:700 22px var(--font-mono),monospace}.boolean-equivalence>span{color:var(--purple-600);font-size:28px}.boolean-caption{color:var(--purple-600)}.boolean-two-circuits{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin-top:20px}.boolean-two-circuits>div{padding:16px;border:1px solid var(--border);background:var(--surface-2);border-radius:12px}.boolean-two-circuits h3{margin:0;font:16px var(--font-mono),monospace;color:var(--text-strong)}.boolean-forms-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;margin-top:18px}.boolean-form-row{display:flex;flex-direction:column;gap:12px;border:1px solid var(--border);border-radius:12px;padding:16px 12px}.boolean-form-row.is-selected{border-color:var(--purple-600);background:color-mix(in srgb,var(--purple-600) 5%,var(--card-bg))}.boolean-form-row>span{font:12px var(--font-mono),monospace;color:var(--text-soft)}.boolean-expression{display:flex;flex-direction:column;gap:12px;align-items:center;text-align:center;background:var(--surface-2);border:1px solid var(--border);padding:24px 20px;border-radius:12px;margin:20px 0;animation:boolean-rewrite .2s ease-out}.boolean-expression code{font:24px/1.6 var(--font-mono),monospace;color:var(--text-strong);overflow-wrap:anywhere;white-space:normal}.boolean-expression>span{color:var(--text-soft);font-size:12px}.boolean-expression strong{font:22px/1.6 var(--font-mono),monospace;color:var(--purple-600)}.boolean-proof-progress{display:flex;flex-wrap:wrap;gap:8px;margin:16px 0}.boolean-proof-progress button{width:44px;padding:8px}.boolean-circuit-mobile{display:none}@keyframes boolean-signal{to{stroke-dashoffset:-26}}@keyframes boolean-rewrite{0%{opacity:.4;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}@media (max-width:640px){.boolean-panel{padding:20px 16px}.boolean-two-circuits{grid-template-columns:minmax(0,1fr)}.boolean-forms-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.boolean-equivalence{gap:8px}.boolean-equivalence code{font-size:14px}.boolean-equivalence>div{padding:16px 8px}.boolean-expression code{font-size:18px}.boolean-circuit>svg{display:none}.boolean-circuit-mobile{display:flex;flex-direction:column;gap:10px}.boolean-signal-strip{display:flex;flex-wrap:wrap;gap:8px}.boolean-signal-strip span{font:12px var(--font-mono),monospace;padding:8px 12px}.boolean-gate-card,.boolean-signal-strip span{border:1px solid var(--border);border-radius:8px}.boolean-gate-card{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:4px 12px;padding:12px}.boolean-gate-card small{grid-column:1/-1}.boolean-gate-card strong{font-size:14px}.boolean-gate-card>span{font:16px var(--font-mono),monospace}.boolean-result{text-align:center;padding:12px;border:1px solid var(--border);border-radius:8px;font:700 20px var(--font-mono),monospace}.boolean-circuit-mobile .is-high{border-color:var(--purple-600);color:var(--purple-600);background:color-mix(in srgb,var(--purple-600) 8%,var(--card-bg))}}@media (prefers-reduced-motion:reduce){.boolean-expression,.boolean-wire.is-high{animation:none}.boolean-node,.boolean-wire{transition:none}}.boolean-circuit-announcement{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}