.ba-page{position:relative;max-width:1440px;margin:0 auto;padding:56px 40px 64px}.ba-top{display:grid;grid-template-columns:1fr;margin-bottom:22px}.ba-top h1{font-family:var(--serif);font-weight:400;font-size:clamp(40px,4.6vw,64px);letter-spacing:-.005em;word-spacing:.08em;line-height:1.02}.ba-top h1 em{font-style:italic}.ba-top .sub{font-family:var(--serif);font-style:italic;font-size:18px;color:var(--ink-soft);margin-top:8px}.ba-chal{display:grid;grid-template-columns:auto 1fr auto auto;gap:18px;align-items:center;padding:14px 18px;border:1px solid var(--ink);border-radius:10px;background:var(--paper);position:relative;margin-bottom:18px}.ba-chal .tag{font-family:var(--mono);font-size:10px;letter-spacing:.18em;text-transform:uppercase;background:var(--ink);color:var(--paper);padding:4px 8px;border-radius:3px}.ba-chal .prompt{font-family:var(--serif);font-size:20px;line-height:1.2}.ba-chal .prompt em{font-style:italic}.ba-chal .prompt code{font-family:var(--mono);font-size:16px;background:var(--paper-2);padding:2px 8px;border-radius:4px}.ba-chal .status{display:inline-flex;align-items:center;gap:8px;font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-soft)}.ba-chal .status .dot{width:8px;height:8px;border-radius:50%;background:var(--ink-soft);transition:background-color .25s ease,box-shadow .25s ease}.ba-chal.is-solved .status .dot{background:#1f8a5b;box-shadow:0 0 0 4px #1f8a5b26}.ba-chal.is-solved .status .lab{color:#1f8a5b}.ba-chal .actions{display:inline-flex;gap:8px;align-items:center}.ba-chal button{border:1px solid var(--ink);background:var(--paper);color:var(--ink);padding:7px 14px;border-radius:999px;font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;cursor:pointer;transition:all .15s ease}.ba-chal button:hover,.ba-chal button.primary{background:var(--ink);color:var(--paper)}.ba-chal button.primary:hover{background:#000}.ba-chal-pick-wrap{position:relative;display:inline-block}.ba-chal-pick{display:inline-flex!important;align-items:center;gap:10px;border:1px solid var(--ink);background:var(--paper);color:var(--ink);padding:7px 14px;border-radius:999px;font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;cursor:pointer;outline:none;max-width:240px;transition:background-color .15s ease,color .15s ease}.ba-chal-pick:hover{background-color:var(--paper-2)!important;color:var(--ink)!important}.ba-chal-pick>#chalPickLabel{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.ba-chal-pick .caret{font-size:9px;color:var(--ink-soft);transition:transform .2s ease,color .2s ease}.ba-chal-pick[aria-expanded=true]{background:var(--ink)!important;color:var(--paper)!important}.ba-chal-pick[aria-expanded=true] .caret{transform:rotate(180deg);color:var(--paper)}.ba-chal-pop{position:fixed;margin:0;padding:6px;list-style:none;min-width:300px;max-width:380px;max-height:360px;overflow-y:auto;background:var(--paper);border:1px solid var(--ink);border-radius:10px;box-shadow:0 18px 38px -12px #0e133059,0 4px 10px -2px #0e13301f;z-index:90;scrollbar-width:thin;scrollbar-color:var(--rule) transparent}.ba-chal-pop::-webkit-scrollbar{width:6px}.ba-chal-pop::-webkit-scrollbar-thumb{background:var(--rule);border-radius:3px}.ba-chal-pop li{display:grid;grid-template-columns:auto 1fr auto;gap:12px;align-items:center;padding:9px 12px;border-radius:6px;cursor:pointer;outline:none;font-family:var(--mono);color:var(--ink);border-bottom:1px dashed var(--rule);transition:background-color .12s ease}.ba-chal-pop li:last-child{border-bottom:none}.ba-chal-pop li:hover,.ba-chal-pop li:focus-visible{background:var(--paper-2)}.ba-chal-pop li[aria-selected=true]{background:var(--ink);color:var(--paper);border-bottom-color:transparent}.ba-chal-pop li[aria-selected=true] .num,.ba-chal-pop li[aria-selected=true] .meta{color:#f2ede2b3}.ba-chal-pop li .num{font-size:9px;letter-spacing:.18em;color:var(--ink-soft);font-variant-numeric:tabular-nums}.ba-chal-pop li .lbl{font-size:13px;font-weight:500;letter-spacing:-.005em;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.ba-chal-pop li .meta{font-size:9px;letter-spacing:.18em;text-transform:uppercase;color:var(--ink-soft);padding:2px 8px;border:1px solid var(--rule);border-radius:3px}.ba-chal-pop li[aria-selected=true] .meta{border-color:#f2ede24d}.ba-input{border:1px solid var(--ink);border-radius:10px;background:var(--paper);padding:18px 22px;margin-bottom:18px;display:grid;grid-template-columns:auto 1fr;column-gap:16px;row-gap:10px;align-items:center}.ba-input .lab{font-family:var(--mono);font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:var(--ink-soft)}.ba-input #exprInput{font-family:var(--mono);font-size:22px;font-weight:500;color:var(--ink);background:var(--paper-2);border:1px solid var(--rule);border-radius:8px;padding:10px 14px;outline:none;transition:border-color .15s ease,background-color .15s ease}.ba-input #exprInput:focus{border-color:var(--ink);background:var(--paper)}.ba-input .presets{grid-column:1 / -1;display:flex;flex-wrap:wrap;align-items:center;gap:8px;border-top:1px dashed var(--rule);padding-top:12px}.ba-input .presets>.lab{padding-right:4px}.ba-input .presets button{font-family:var(--mono);font-size:11px;border:1px solid var(--rule);background:var(--paper);color:var(--ink);padding:6px 10px;border-radius:999px;cursor:pointer;transition:all .12s ease;font-variant-numeric:tabular-nums}.ba-input .presets button:hover{border-color:var(--ink);background:var(--paper-2)}.ba-input .parse-error{grid-column:1 / -1;font-family:var(--mono);font-size:11px;color:var(--acid);padding-top:4px}.ba-bench{display:grid;grid-template-columns:1fr 360px;gap:24px;margin-bottom:24px;align-items:start}.ba-stage{border:1px solid var(--ink);border-radius:10px;background:var(--paper);padding:0;overflow:hidden}.ba-stage .head{display:flex;justify-content:space-between;align-items:center;padding:14px 22px;border-bottom:1px solid var(--rule);font-family:var(--mono);font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:var(--ink-soft)}.ba-stage .controls{display:inline-flex;gap:10px;align-items:center}.ba-stage .seg{display:flex;border:1px solid var(--rule);border-radius:5px;overflow:hidden}.ba-stage .seg button{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;padding:5px 9px;background:var(--paper);border:none;border-right:1px solid var(--rule);color:var(--ink-soft);cursor:pointer;transition:all .1s ease}.ba-stage .seg button:last-child{border-right:none}.ba-stage .seg button:hover{background:var(--paper-2);color:var(--ink)}.ba-stage .seg button.is-on{background:var(--ink);color:var(--paper)}.ba-stage .head .primary{border:1px solid var(--ink);background:var(--ink);color:var(--paper);padding:6px 14px;border-radius:999px;font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;cursor:pointer;transition:background-color .15s ease}.ba-stage .head .primary:hover{background:#000}.ba-steps{list-style:none;margin:0;padding:18px 22px;display:flex;flex-direction:column;gap:14px;min-height:200px}.ba-steps .step{display:grid;grid-template-columns:auto 1fr auto;align-items:baseline;gap:16px;padding:8px 10px 14px;margin:0 -10px;border-bottom:1px dashed var(--rule);border-radius:6px;cursor:pointer;opacity:0;transform:translateY(4px);animation:ba-step-in .35s cubic-bezier(.4,0,.2,1) forwards;transition:background-color .15s ease,box-shadow .15s ease}.ba-steps .step:last-child{border-bottom:none;padding-bottom:8px}.ba-steps .step:hover{background:var(--paper-2)}.ba-steps .step.is-current{background:var(--paper-2);box-shadow:inset 3px 0 0 var(--acid)}.ba-steps .step.is-current .law-chip{box-shadow:0 0 0 3px #c8102e2e}@keyframes ba-step-in{to{opacity:1;transform:translateY(0)}}.ba-steps .step .marker{font-family:var(--serif);font-style:italic;font-size:22px;color:var(--ink);min-width:18px}.ba-steps .step .marker:before{content:"=";color:var(--ink-soft)}.ba-steps .step:first-child .marker:before{content:""}.ba-steps .step .expr{font-family:var(--serif);font-size:24px;color:var(--ink);line-height:1.3}.ba-steps .step .expr .var{font-style:italic}.ba-steps .step .expr .neg-bar{display:inline-block;border-top:1.5px solid currentColor;padding-top:1px}.ba-steps .step .expr code{font-family:var(--mono);font-style:normal}.ba-steps .step .law-chip{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;color:var(--paper);padding:4px 10px;border-radius:999px;white-space:nowrap}.ba-steps .step[data-law=Given] .law-chip{background:#4b5563}.ba-steps .step[data-law=Identity] .law-chip{background:#0f766e}.ba-steps .step[data-law=Idempotent] .law-chip{background:#1f4099}.ba-steps .step[data-law=Complement] .law-chip{background:#2563eb}.ba-steps .step[data-law=Distributive] .law-chip,.ba-steps .step[data-law=Factor] .law-chip{background:#c2410c}.ba-steps .step[data-law="De Morgan"] .law-chip{background:#7c3aed}.ba-steps .step[data-law=Absorption] .law-chip{background:#be185d}.ba-steps .step[data-law=Consensus] .law-chip{background:#9d174d}.ba-steps .step[data-law=Commutative] .law-chip,.ba-steps .step[data-law=Associative] .law-chip{background:#525252}.ba-steps .step .note{grid-column:2 / 3;font-family:var(--mono);font-size:11px;color:var(--ink-soft);margin-top:4px}.ba-steps .empty{font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-soft);text-align:center;padding:30px 0}.ba-steps .step.practice-blank{cursor:default;background:var(--paper-2)}.ba-steps .step.practice-blank:hover{background:var(--paper-2)}.ba-steps .step.practice-blank .practice-input-wrap{display:flex;flex-wrap:wrap;align-items:center;gap:8px}.ba-steps .step.practice-blank .practice-input{flex:1;min-width:220px;font-family:var(--serif);font-style:italic;font-size:22px;line-height:1;border:1.5px dashed var(--ink);border-radius:6px;padding:8px 12px;background:var(--paper);color:var(--ink);outline:none;transition:border-color .15s ease,border-style .15s ease,background-color .15s ease}.ba-steps .step.practice-blank .practice-input:focus{border-color:var(--acid);border-style:solid}.ba-steps .step.practice-blank.is-correct .practice-input{border-color:#1f8a5b;border-style:solid;background:#1f8a5b0f}.ba-steps .step.practice-blank.is-wrong .practice-input{border-color:var(--acid);border-style:solid;animation:ba-shake .35s ease}@keyframes ba-shake{0%,to{transform:translate(0)}20%,60%{transform:translate(-4px)}40%,80%{transform:translate(4px)}}.ba-steps .step.practice-blank .practice-check,.ba-steps .step.practice-blank .practice-hint{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;padding:7px 12px;border-radius:999px;cursor:pointer;border:1px solid var(--ink);background:var(--paper);color:var(--ink);transition:all .12s ease}.ba-steps .step.practice-blank .practice-check{background:var(--ink);color:var(--paper)}.ba-steps .step.practice-blank .practice-check:hover{background:#000}.ba-steps .step.practice-blank .practice-hint:hover{background:var(--ink);color:var(--paper)}.ba-steps .step.practice-blank .practice-feedback{grid-column:2 / 3;font-family:var(--mono);font-size:11px;color:var(--ink-soft);margin-top:4px;min-height:16px}.ba-steps .step.practice-blank.is-correct .practice-feedback{color:#1f8a5b}.ba-steps .step.practice-blank.is-wrong .practice-feedback{color:var(--acid)}.ba-steps .step .law-chip.is-locked{background:var(--paper-2)!important;color:var(--ink-soft);border:1px dashed var(--rule)}.ba-steps .practice-solved{list-style:none;display:grid;place-items:center;font-family:var(--mono);font-size:12px;letter-spacing:.16em;text-transform:uppercase;color:#1f8a5b;background:#1f8a5b14;border:1px solid #1F8A5B;border-radius:8px;padding:14px 16px;margin-top:8px;animation:ba-step-in .35s cubic-bezier(.4,0,.2,1) forwards;opacity:0}.ba-steps .practice-solved b{color:#1f8a5b;font-weight:600}.scrub-row[hidden],.ba-result[hidden]{display:none!important}.scrub-row{display:grid;grid-template-columns:auto 1fr auto auto;gap:12px;align-items:center;padding:14px 22px;border-top:1px solid var(--rule);background:var(--paper-2);font-family:var(--mono);font-size:10px;letter-spacing:.16em;text-transform:uppercase;color:var(--ink-soft)}.scrub-row input[type=range]{-webkit-appearance:none;appearance:none;height:3px;background:var(--paper-3);border-radius:999px;outline:none}.scrub-row input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:14px;height:14px;background:var(--ink);border-radius:50%;cursor:grab;border:2px solid var(--paper)}.scrub-row input[type=range]::-moz-range-thumb{width:14px;height:14px;background:var(--ink);border-radius:50%;cursor:grab;border:2px solid var(--paper)}.scrub-row .vb-num{color:var(--ink);font-variant-numeric:tabular-nums;min-width:24px}.ba-result{padding:18px 22px;border-top:1px solid var(--rule);background:var(--paper-2);display:grid;grid-template-columns:auto 1fr;gap:18px;align-items:baseline}.ba-result .lab{font-family:var(--mono);font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:var(--ink-soft)}.ba-result .val{font-family:var(--serif);font-size:32px;color:var(--ink);font-style:italic;letter-spacing:-.01em}.ba-result .val .neg-bar{display:inline-block;border-top:1.5px solid currentColor;padding-top:1px}.ba-side{display:flex;flex-direction:column;gap:16px;position:sticky;top:16px}.ba-card{border:1px solid var(--ink);border-radius:10px;background:var(--paper);padding:16px}.ba-card h3{font-family:var(--mono);font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:12px;display:flex;justify-content:space-between;align-items:baseline}.ba-card h3 .meta{color:var(--ink);font-weight:600}.ba-card h3 a{color:var(--ink-soft);cursor:pointer;font-size:9px;text-decoration:none}.ba-card h3 a:hover{color:var(--acid)}.tt-wrap{overflow-x:auto}.tt{border-collapse:collapse;font-family:var(--mono);font-size:11px;font-variant-numeric:tabular-nums;width:100%}.tt th,.tt td{padding:5px 10px;border-bottom:1px dashed var(--rule);text-align:center}.tt th{font-weight:500;color:var(--ink-soft);letter-spacing:.14em;text-transform:uppercase;font-size:9.5px;border-bottom:1px solid var(--ink)}.tt td.is-bit-1{color:var(--ink);font-weight:600}.tt td.is-bit-0{color:var(--rule)}.tt td.is-out{border-left:1px dashed var(--rule)}.tt td.is-out.is-bit-1{background:#1f8a5b1f;color:#1f8a5b}.tt-empty{font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-soft);text-align:center;padding:12px 0}.km-wrap{display:flex;justify-content:center;padding:4px 0 8px}.km{display:grid;gap:0;font-family:var(--mono);font-size:11px;font-variant-numeric:tabular-nums}.km .km-cell{width:38px;height:38px;border:1px solid var(--rule);display:grid;place-items:center;background:var(--paper);margin:-1px 0 0 -1px}.km .km-cell.is-on{background:#1f8a5b2e;color:#1f8a5b;font-weight:600}.km .km-axis{width:38px;height:24px;display:grid;place-items:center;font-size:10px;letter-spacing:.12em;color:var(--ink-soft);text-transform:uppercase}.km .km-corner{width:38px;height:24px;font-size:9px;letter-spacing:.1em;color:var(--ink-soft);display:grid;place-items:center}.km-hint{font-family:var(--mono);font-size:10px;line-height:1.5;color:var(--ink-soft);margin:6px 0 0}.km-hint b{color:var(--ink);font-weight:600}.km-empty{font-family:var(--mono);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-soft);text-align:center;padding:12px 0}.ba-card .laws{display:flex;flex-direction:column;gap:10px}.ba-card .laws .law{display:grid;grid-template-columns:110px 1fr;gap:10px;padding-bottom:8px;border-bottom:1px dashed var(--rule);font-family:var(--mono);font-size:10px;color:var(--ink-soft);line-height:1.4}.ba-card .laws .law:last-child{border-bottom:none;padding-bottom:0}.ba-card .laws .law b{color:var(--ink);font-weight:600;letter-spacing:.04em;font-size:10px}.ba-card.is-collapsed .laws{display:none}.balab-v,.balab-k{font-family:var(--serif);font-style:italic;font-weight:500;letter-spacing:-.005em}.balab-dot{color:var(--ink-soft);padding:0 2px;font-style:normal}.balab-plus{color:var(--ink-soft);padding:0 4px;font-style:normal}.balab-bar{text-decoration:overline;text-decoration-thickness:1.5px;text-decoration-color:currentColor;text-underline-offset:0;padding:0 1px}.balab-bar span{text-decoration:inherit}.balab-negwrap{display:inline-block}.ba-foot{margin-top:24px;padding-top:16px;border-top:1px solid var(--rule);font-family:var(--mono);font-size:10px;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-soft);display:flex;flex-wrap:wrap;gap:16px;justify-content:space-between}.ba-foot code{font-family:var(--mono);background:var(--paper-2);padding:1px 5px;border-radius:3px;color:var(--ink)}@media (max-width: 1100px){.ba-bench{grid-template-columns:1fr}.ba-side{position:static}}@media (max-width: 720px){.ba-page{padding:16px 16px 48px}.ba-input{grid-template-columns:1fr}}