._page_3vkw9_1{--u:#167d83;--v:#ad632d;--w:#7c69a8;padding-top:28px}.dark ._page_3vkw9_1{--u:#74d7d3;--v:#edb37d;--w:#b6a1dd}._back_3vkw9_3{color:var(--muted);align-items:center;gap:8px;margin-bottom:25px;font-size:13px;display:inline-flex}._bench_3vkw9_4{border:1px solid var(--border);background:var(--plot);border-radius:10px;grid-template-columns:minmax(0,1.45fr) minmax(310px,1fr);display:grid;overflow:hidden}._visual_3vkw9_5{min-width:0;padding-top:16px}._side_3vkw9_6{border-left:1px solid var(--border);flex-direction:column;gap:20px;min-width:0;padding:26px;display:flex}._side_3vkw9_6 h3{font-size:18px;font-weight:500}._side_3vkw9_6 p,._copy_3vkw9_8{color:var(--muted);font-size:14px;line-height:1.9}._plot_3vkw9_9{width:100%;height:auto;display:block}._plot_3vkw9_9 text{font:14px var(--font-mono);fill:var(--ink);paint-order:stroke;stroke:var(--plot);stroke-width:4px;stroke-linejoin:round}._plot_3vkw9_9 ._small_3vkw9_11{fill:var(--muted);font-size:11px}._plot_3vkw9_9 ._big_3vkw9_12{font-size:18px}._plot_3vkw9_9 ._u_3vkw9_13{fill:var(--u)}._plot_3vkw9_9 ._v_3vkw9_5{fill:var(--v)}._plot_3vkw9_9 ._w_3vkw9_15{fill:var(--w)}._u_3vkw9_13{color:var(--u)}._v_3vkw9_5{color:var(--v)}._w_3vkw9_15{color:var(--w)}._formula_3vkw9_19{padding:10px 0;font-size:clamp(13px,1.3vw,17px);line-height:2}._formulas_3vkw9_20{gap:22px;padding-block:10px;display:grid}._formulas_3vkw9_20>div{gap:8px;font-size:16px;display:grid}._formulas_3vkw9_20 small{color:var(--muted);font-size:13px}._callout_3vkw9_23{background:var(--soft);border-left:2px solid var(--v);padding:16px;font-size:14px;line-height:1.85}._readouts_3vkw9_24{flex-wrap:wrap;align-items:center;gap:20px 35px;padding:16px 24px 22px;display:flex}._readouts_3vkw9_24>div{gap:7px;display:grid}._readouts_3vkw9_24 small{color:var(--muted);font-size:12px}._readouts_3vkw9_24 strong{font:21px var(--font-mono)}._transport_3vkw9_28{gap:16px;padding:6px 24px 18px;display:grid}._buttons_3vkw9_29{flex-wrap:wrap;gap:8px;display:flex}._buttons_3vkw9_29 button{border:1px solid var(--border);background:var(--soft);color:var(--ink);cursor:pointer;border-radius:5px;align-items:center;gap:8px;padding:10px 14px;font-size:13px;display:inline-flex}._buttons_3vkw9_29 button:hover,._buttons_3vkw9_29 button[aria-pressed=true]{color:var(--u);border-color:var(--u)}._buttons_3vkw9_29 button:focus-visible{outline:2px solid var(--u);outline-offset:3px}._plot_3vkw9_9:focus-visible{outline:2px solid var(--u);outline-offset:3px}._caption_3vkw9_33{color:var(--muted);padding:2px 24px 18px;font-size:12px;line-height:1.75}._choices_3vkw9_34{flex-wrap:wrap;gap:8px;display:flex}._signs_3vkw9_35{border-collapse:collapse;width:100%;font-size:13px}._signs_3vkw9_35 th,._signs_3vkw9_35 td{text-align:center;border-bottom:1px solid var(--border);padding:10px 6px}._signs_3vkw9_35 th{color:var(--muted);font-weight:500}._signs_3vkw9_35 tr[data-active=true]{background:var(--soft);color:var(--u)}._proofSteps_3vkw9_39{gap:10px;display:grid}._proofSteps_3vkw9_39 button{text-align:left;border:1px solid var(--border);background:var(--plot);color:var(--muted);cursor:pointer;border-radius:5px;padding:12px 14px;font-size:14px;line-height:1.7}._proofSteps_3vkw9_39 button[aria-current=step]{border-color:var(--u);color:var(--ink);background:var(--soft)}._explanation_3vkw9_42{gap:16px;max-width:1000px;padding-top:25px;font-size:15px;line-height:1.9;display:grid}._space_3vkw9_43{touch-action:none;height:470px;position:relative}._space_3vkw9_43 canvas{width:100%;height:100%;display:block}._spaceLabels_3vkw9_45{pointer-events:none;position:absolute;inset:0;overflow:hidden}._spaceLabels_3vkw9_45 span{font:17px var(--font-mono);text-shadow:0 1px 3px var(--plot), 1px 0 3px var(--plot);position:absolute;top:0;left:0}._spaceError_3vkw9_47{padding:35px;line-height:1.8}._summary_3vkw9_48{border-top:1px solid var(--border);gap:17px;max-width:1000px;margin-top:35px;padding-top:30px;line-height:1.9;display:grid}._summary_3vkw9_48 h2{font-size:25px;font-weight:500}@media (max-width:950px){._bench_3vkw9_4{grid-template-columns:1fr}._side_3vkw9_6{border-left:0;border-top:1px solid var(--border)}._plot_3vkw9_9{max-height:500px}._formula_3vkw9_19{font-size:16px}}@media (max-width:600px){._side_3vkw9_6{padding:22px 18px}._formula_3vkw9_19{font-size:12px}._formulas_3vkw9_20>div{font-size:14px}._space_3vkw9_43{height:360px}._caption_3vkw9_33,._readouts_3vkw9_24,._transport_3vkw9_28{padding-inline:18px}}