.pf{--pf-text:var(--paper);--pf-dim:color-mix(in srgb, var(--paper) 60%, transparent);--pf-line:color-mix(in srgb, var(--paper) 28%, transparent);--pf-faint:color-mix(in srgb, var(--paper) 8%, transparent);max-width:1400px;color:var(--pf-text);font-family:var(--font-display);gap:clamp(16px,2vw,24px);margin-inline:auto;display:grid}:where(.pf) button{font:inherit;color:inherit;cursor:pointer;background:0 0;border:0;padding:0}.pf button:disabled{cursor:default}.pf :focus-visible{outline:2px solid var(--yellow);outline-offset:3px}.pf code,.pf pre{font-family:var(--font-mono)}.pf-eyebrow{font:400 11px / 1.4 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--pf-dim);margin:0}.pf-eyebrow code{letter-spacing:0;text-transform:none;color:var(--pf-text)}.pf-rail{border-bottom:2px solid var(--pf-text);flex-wrap:wrap;align-items:center;gap:8px 24px;padding-bottom:12px;display:flex}.pf-chapters,.pf-chapter-open ol{align-items:center;margin:0;padding:0;list-style:none;display:flex}.pf-chapters{gap:14px}.pf-chapter-open{align-items:center;gap:10px;display:flex}.pf-chapter-open ol{gap:8px}.pf-chapter-title{font:600 15px / 1 var(--font-display)}.pf-bullet{--bullet:var(--red);--on-bullet:var(--paper);background:var(--bullet);width:28px;height:28px;color:var(--on-bullet);font:600 14px / 1 var(--font-display);font-variant-numeric:tabular-nums;border-radius:50%;place-items:center;display:inline-grid}.pf-bullet[data-color=blue]{--bullet:var(--blue)}.pf-bullet[data-color=yellow]{--bullet:var(--yellow);--on-bullet:var(--ink)}.pf-bullet[data-shape=square]{border-radius:0}.pf-bullet[data-shape=triangle]{clip-path:polygon(50% 0,100% 100%,0 100%);border-radius:0}.pf-bullet:where([data-shape=triangle])>span{font-size:.8em;translate:0 4px}.pf-rail li{position:relative}.pf-rail button{min-width:32px;min-height:36px;transition:translate var(--dur-2) var(--ease);place-items:center;display:grid}.pf-rail button:hover{translate:0 -2px}.pf-chapter-jump .pf-bullet{--bullet:color-mix(in srgb, var(--paper) 18%, transparent);--on-bullet:var(--pf-text)}.pf-chapter-jump[data-solved] .pf-bullet{--bullet:var(--paper);--on-bullet:var(--ink)}.pf-chapter-open button[aria-current]:after{content:"";background:var(--pf-text);height:3px;position:absolute;bottom:-6px;left:4px;right:4px}.pf-chapter-open button[data-solved]:before{content:"";z-index:1;background:var(--paper);border:2px solid var(--charcoal);width:8px;height:8px;position:absolute;top:0;right:-1px}.pf-status{font:400 12px / 1.5 var(--font-mono);color:var(--pf-dim);margin:0 0 0 auto}.pf-screen{grid-template-columns:minmax(0,1.45fr) minmax(300px,1fr);gap:clamp(20px,2.6vw,40px);min-height:clamp(560px,100svh - 200px,720px);display:grid}.pf-board{grid-template-rows:auto clamp(340px,100svh - 440px,420px) auto;align-content:start;gap:16px;min-width:0;display:grid}.pf-say{gap:10px;display:grid}.pf-say-head{flex-wrap:wrap;justify-content:space-between;gap:4px 12px;display:flex}.pf-say-status,.pf-key--board,.pf .pf-primary.pf-next--dock,.pf-actions:empty{display:none}.pf-tools{flex-wrap:wrap;gap:4px 18px;display:flex}.pf .pf-hint{margin-left:auto}.pf-line{border-left:4px solid var(--blue);max-width:48ch;min-height:4.2em;font:500 clamp(18px, 1.6vw, 22px) / 1.4 var(--font-display);text-wrap:pretty;transition:border-color var(--dur-2) var(--ease);margin:0;padding-left:14px}.pf-line[data-tone=ask]{border-left-color:var(--paper)}.pf-line[data-tone=miss]{border-left-color:var(--red)}.pf-line[data-tone=done]{border-left-color:var(--yellow)}.pf-state{border:2px solid var(--pf-text);min-height:0;transition:opacity var(--dur-2) var(--ease);grid-template-rows:auto minmax(0,1fr);display:grid}.pf-state[data-loading]{opacity:.5}.pf-have{gap:10px;padding:16px 18px;display:grid}.pf-have ul{flex-wrap:wrap;gap:10px;margin:0;padding:0;list-style:none;display:flex}.pf-hyp{border:2px solid var(--pf-line);gap:2px;min-width:72px;padding:12px 14px 10px;display:grid;position:relative}.pf-hyp[data-new]{border-color:var(--pf-text);animation:.28s ease-out pf-arrive}.pf-hyp[data-new]:before{content:"";background:var(--yellow);height:6px;position:absolute;inset:-2px -2px auto}.pf-hyp-names{font:400 13px / 1.3 var(--font-mono);color:var(--yellow)}.pf-hyp-type{font:500 22px / 1.2 var(--font-display);letter-spacing:-.01em}.pf-hyp small{font:400 10px / 1.3 var(--font-mono);color:var(--pf-dim)}.pf-none{min-height:87px;color:var(--pf-dim);align-items:center;margin:0;font-size:16px;display:flex}.pf-need{border-top:2px solid var(--pf-text);align-content:center;gap:12px;min-width:0;padding:18px 18px 22px;display:grid}.pf-turnstile{align-items:baseline;gap:10px;display:flex}.pf-turnstile>span[aria-hidden]{font:500 20px / 1 var(--font-display);color:var(--yellow);letter-spacing:0}.pf-case{text-transform:none;letter-spacing:0;color:var(--pf-text);margin-left:auto}.pf-target{font:500 clamp(34px, 4.2vw, 64px) / 1.1 var(--font-display);letter-spacing:-.03em;overflow-wrap:anywhere;text-wrap:balance;margin:0;animation:.24s ease-out pf-swap}.pf-target--done span{color:var(--red)}.pf-queue{gap:6px;margin:4px 0 0;padding:0;list-style:none;display:grid}.pf-queue li{font:400 12px / 1.4 var(--font-mono);color:var(--pf-dim);align-items:baseline;gap:12px;display:flex}.pf-queue b{font:500 18px / 1.3 var(--font-display);color:var(--pf-text)}.pf-slot{align-content:start;gap:8px;height:150px;display:grid;overflow:hidden}.pf-slot[data-kind=error]{border-top:6px solid var(--red);background:var(--pf-faint);padding:14px 16px 12px;animation:.2s ease-out pf-swap}.pf-error{white-space:pre-wrap;max-height:76px;color:var(--pf-text);margin:0;font-size:13px;line-height:1.5;overflow:auto}.pf-slot-note{font:400 12px / 1.4 var(--font-mono);color:var(--pf-dim);margin:0}.pf-key{flex-wrap:wrap;gap:8px 24px;margin:0;padding-top:4px;display:flex}.pf-key div{align-items:baseline;gap:8px;display:flex}.pf-key dt{font:500 20px / 1 var(--font-display);color:var(--yellow)}.pf-key dd{font:400 12px / 1.4 var(--font-mono);color:var(--pf-dim);margin:0}.pf-proved{font:600 34px / 1 var(--font-display);letter-spacing:-.03em;flex-wrap:wrap;align-items:baseline;gap:6px 0;margin:0;display:flex}.pf-proved>span{color:var(--red)}.pf-proved small{font:400 12px / 1.4 var(--font-mono);letter-spacing:0;color:var(--pf-dim);flex-basis:100%}.pf-offline{border:2px solid var(--pf-line);align-content:center;justify-items:start;gap:16px;padding:24px;font-size:18px;display:grid}.pf-offline button{background:var(--paper);color:var(--ink);font:400 13px / 1 var(--font-mono);padding:10px 16px}.pf-side{grid-template-rows:auto minmax(0,1fr);gap:20px;min-width:0;display:grid}.pf-moves{gap:10px;display:grid}.pf-moves ul{gap:8px;margin:0;padding:0;list-style:none;display:grid}.pf .pf-move{border:2px solid var(--pf-line);text-align:left;width:100%;transition:border-color var(--dur-2) var(--ease), background-color var(--dur-2) var(--ease), translate var(--dur-2) var(--ease);gap:3px;padding:10px 14px;display:grid;position:relative}.pf-move code{color:var(--pf-text);font-size:15px;line-height:1.35}.pf .pf-move span{font:400 13px / 1.4 var(--font-display);color:var(--pf-dim)}.pf .pf-move:not(:disabled):hover{border-color:var(--pf-text);background:var(--pf-faint);translate:4px}.pf .pf-move[data-hint]{border-color:var(--yellow)}.pf .pf-move[data-hint]:after{content:"hint";font:400 10px / 1 var(--font-mono);letter-spacing:.1em;text-transform:uppercase;color:var(--yellow);position:absolute;top:10px;right:12px}.pf .pf-move[data-pending]{border-color:var(--pf-text);background:var(--pf-faint)}.pf .pf-move:disabled:not([data-pending]){opacity:.45}.pf .pf-text-button{min-height:32px;font:400 12px / 1.4 var(--font-mono);color:var(--pf-dim);text-underline-offset:4px;align-items:center;gap:6px;text-decoration:underline;display:inline-flex}.pf .pf-text-button:not(:disabled):hover{color:var(--pf-text)}.pf .pf-text-button:disabled{opacity:.4;text-decoration:none}.pf-write{gap:6px;margin-top:4px;display:grid}.pf-write>div{gap:8px;display:flex}.pf-write input{border:2px solid var(--pf-line);min-width:0;color:var(--pf-text);font:400 15px / 1.3 var(--font-mono);background:0 0;border-radius:0;flex:1;padding:9px 12px}.pf-write input:focus{border-color:var(--pf-text);outline:none}.pf-write input::placeholder{color:color-mix(in srgb, var(--paper) 35%, transparent)}.pf-write button{background:var(--paper);color:var(--ink);font:400 13px / 1 var(--font-mono);padding:0 16px}.pf-write button:disabled{opacity:.35}.pf-proof{border:2px solid var(--pf-line);grid-template-rows:auto minmax(0,1fr) auto;gap:10px;min-height:0;padding:14px 16px;display:grid}.pf-proof pre{min-height:96px;margin:0;font-size:13px;line-height:1.6;overflow:auto}.pf-code-head{white-space:pre-wrap;color:var(--pf-dim);display:block}.pf-code-line{white-space:pre;display:block}.pf-code-line[data-last]{box-shadow:inset 3px 0 var(--yellow)}.pf-code-line[data-pending]{opacity:.5}.pf-code-line[data-failed]{color:var(--red);text-decoration:line-through}.pf-actions{flex-wrap:wrap;align-items:center;gap:8px 18px;display:flex}.pf .pf-primary{background:var(--yellow);color:var(--ink);font:600 16px / 1 var(--font-display);align-items:center;gap:10px;padding:10px 16px;animation:.24s ease-out pf-swap;display:inline-flex}@keyframes pf-swap{0%{opacity:0}}@keyframes pf-arrive{0%{opacity:0;translate:0 8px}}@media (max-width:900px){.pf{grid-template-rows:auto minmax(0,1fr) repeat(6,auto);gap:10px}.pf:before{content:"";pointer-events:none;grid-area:1/1/6;height:min(100svh - 12px,820px)}.pf-screen,.pf-board,.pf-side,.pf-moves{display:contents}.pf-rail{grid-area:1/1;padding-bottom:4px}.pf-state,.pf-offline{grid-area:2/1}.pf-say{grid-area:3/1;gap:6px;padding-top:2px}.pf-moves ul{grid-area:4/1}.pf-tools{grid-area:5/1}.pf-slot{grid-area:6/1;height:auto;min-height:0;margin-top:14px}.pf-write{grid-area:7/1;margin-top:14px}.pf-proof{grid-area:8/1}.pf-rail{flex-wrap:nowrap;justify-content:space-between}.pf-rail button{min-height:40px}.pf-status,.pf-say-level,.pf-moves>.pf-eyebrow,.pf .pf-primary.pf-next--side,.pf-slot[data-kind=key],.pf-slot[data-kind=done]{display:none}.pf-say-status{text-transform:none;letter-spacing:0;display:block}.pf-line{min-height:4.05em;font-size:16px;line-height:1.35}.pf-have{gap:6px;padding:10px 12px}.pf-have ul{gap:6px}.pf-hyp{min-width:52px;padding:7px 10px 6px}.pf-hyp-names{font-size:12px}.pf-hyp-type{font-size:17px}.pf-none{min-height:52px}.pf-need{flex-direction:column;gap:8px;padding:10px 12px 12px;display:flex}.pf-target{margin-block:auto;font-size:clamp(28px,8.4vw,40px)}.pf-queue b{font-size:16px}.pf-key--board{gap:4px 14px;margin-top:auto;padding-top:6px;display:flex}.pf-key--board dt{font-size:15px}.pf-key--board dd{font-size:11px}.pf-slot[data-kind=error]{padding:10px 12px}.pf-error{max-height:96px;font-size:12px}.pf-moves ul{grid-template-columns:repeat(2,minmax(0,1fr));grid-auto-rows:1fr;gap:6px}.pf .pf-move{align-content:start;gap:1px;height:100%;padding:6px 10px 7px}.pf-move code{font-size:13px}.pf .pf-move span{font-size:12px;line-height:1.3}.pf .pf-move:not(:disabled):hover{translate:none}.pf-tools{align-items:center;min-height:40px}.pf-tools .pf-text-button{min-height:40px}.pf .pf-primary.pf-next--dock{margin-left:auto;padding:8px 14px;font-size:15px;display:inline-flex}}@media (prefers-reduced-motion:reduce){.pf-target,.pf-hyp[data-new],.pf-slot[data-kind=error],.pf .pf-primary{animation:none}.pf .pf-move{transition:none}}.pf-notes{grid-template-columns:repeat(2,minmax(0,1fr));gap:24px 48px;display:grid}.pf-notes-part{border-top:6px solid var(--red);align-content:start;padding-top:16px;display:grid}.pf-notes-part[data-part=shift]{border-top-color:var(--blue)}.pf-notes-title{font:600 24px / 1.2 var(--font-display);margin:0 0 12px}.pf-notes h4{font:600 17px / 1.3 var(--font-display);margin:24px 0 8px}@media (max-width:900px){.pf-notes{grid-template-columns:1fr}}.pf-notes p{max-width:68ch;margin:0}.pf-notes p+p{margin-top:12px}.pf-notes code{font:400 .88em / 1 var(--font-mono)}.frame__stage .pf button{min-height:0}
.ns{--ns-text:var(--ink);--ns-dim:var(--dim);--ns-line:color-mix(in srgb, var(--ink) 22%, transparent);--ns-faint:color-mix(in srgb, var(--ink) 5%, transparent);--ns-proved:var(--yellow);--ns-held:var(--blue);--ns-broke:var(--red);max-width:1400px;color:var(--ns-text);font-family:var(--font-display);gap:clamp(40px,5vw,72px);margin-inline:auto;display:grid}:where(.ns) button{font:inherit;color:inherit;text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.frame__stage :where(.ns) button{font-size:inherit}.ns button:disabled{cursor:default;opacity:.35}.ns-page,.ns-side,.ns-strip,.ns-quilt,.ns-exhibit,.ns-caption,.ns-card,.ns-search,.ns-search-moves,.ns-block,.ns-rung,.ns-rung ul,.ns-detail,.ns-shelf-index,.ns-shelf-list,.ns-letter,.ns-tile,.ns-arms,.ns-arms ol,.ns-evidence,.ns-relations,.ns-results,.ns-proof-index,.ns-proof-sheet,.ns-loop{grid-template-columns:minmax(0,1fr)}.ns :focus-visible{outline:2px solid var(--blue);outline-offset:3px}.ns code,.ns pre{font-family:var(--font-mono)}.ns-eyebrow{font:400 11px / 1.5 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ns-dim);margin:0}.ns-empty{font:400 13px / 1.5 var(--font-mono);color:var(--ns-dim);margin:0}.ns-verdict:before,.ns-running:before,.ns-evidence li:before,.ns-legend li:before,.ns-step:before{content:"";vertical-align:1px;flex:none;width:8px;height:8px;margin-right:8px;display:inline-block}.ns-head{grid-template-columns:minmax(0,1.3fr) minmax(240px,1fr);grid-template-areas:"quote answer""vitals vitals";align-items:end;gap:20px clamp(24px,4vw,64px);display:grid}.ns-quote{grid-area:quote;margin:0}.ns-quote p{font:400 clamp(18px, 1.9vw, 26px) / 1.4 var(--font-display);margin:0}.ns-quote p:before{content:"“"}.ns-quote p:after{content:"”"}.ns-quote cite{font:400 12px / 1.4 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ns-dim);margin-top:10px;font-style:normal;display:block}.ns-answer{font:600 clamp(60px, 9vw, 136px) / .88 var(--font-display);letter-spacing:-.02em;grid-area:answer;justify-self:end;margin:0}.ns-stop{color:var(--red)}.ns-vitals{border-top:2px solid var(--ns-text);flex-wrap:wrap;grid-area:vitals;gap:6px 32px;margin:0;padding-top:12px;display:flex}.ns-vitals>div{align-items:baseline;gap:10px;display:flex}.ns-vitals dt{font:400 11px / 1.5 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ns-dim)}.ns-vitals dd{font:400 14px / 1.5 var(--font-mono);font-variant-numeric:tabular-nums;white-space:nowrap;margin:0}.ns-vital-count{min-width:5ch}.ns-vital-feed{min-width:14ch}.ns-calibration{position:relative}.ns-calibration summary{cursor:pointer;text-decoration:underline;-webkit-text-decoration-color:var(--ns-line);text-decoration-color:var(--ns-line);text-underline-offset:3px;list-style:none}.ns-calibration summary::-webkit-details-marker{display:none}.ns-calibration summary:before{content:"";background:var(--ns-held);vertical-align:1px;width:8px;height:8px;margin-right:8px;display:inline-block}.ns-calibration[data-failed] summary:before{background:var(--ns-broke)}.ns-calibration-panel{z-index:3;border:2px solid var(--ns-text);background:var(--paper);white-space:normal;gap:10px;width:min(460px,100vw - 48px);padding:16px;display:grid;position:absolute;top:calc(100% + 10px);right:0}.ns-calibration-panel ul{gap:8px;margin:0;padding:0;list-style:none;display:grid}.ns-calibration-panel li{font:400 12px / 1.4 var(--font-mono);gap:2px;display:grid}.ns-calibration-panel li span:first-child:before{content:"";background:var(--ns-broke);vertical-align:1px;width:8px;height:8px;margin-right:8px;display:inline-block}.ns-calibration-panel li[data-passed] span:first-child:before{background:var(--ns-held)}.ns-calibration-panel small{color:var(--ns-dim);font-size:11px}.ns-vitals dd[data-connection=live]:before{content:"";background:var(--red);vertical-align:1px;border-radius:50%;width:8px;height:8px;margin-right:8px;display:inline-block}.ns-now{grid-template-columns:minmax(180px,230px) minmax(0,1fr) minmax(260px,310px);gap:clamp(20px,2.4vw,32px);height:clamp(600px,100svh - 96px,860px);display:grid}.ns-closed{border:2px solid var(--ns-text);border-top:6px solid var(--ns-text);align-content:center;gap:12px;min-height:360px;padding:clamp(24px,4vw,56px);display:grid}.ns-closed-line{font:600 clamp(22px, 2.4vw, 32px) / 1.2 var(--font-display);margin:0}.ns-closed-note{max-width:56ch;color:var(--ns-dim);margin:0;font-size:16px;line-height:1.55}.ns-placeholder{border:2px solid var(--ns-line);font:400 13px / 1.5 var(--font-mono);color:var(--ns-dim);place-items:center;margin:0;display:grid}.ns-strip{grid-template-rows:minmax(0,1fr) auto;gap:12px;min-height:0;margin:0;display:grid}.ns-strip-plot{min-height:0;margin-left:44px;position:relative}.ns-strip-svg{width:100%;height:100%;position:absolute;inset:0;overflow:visible}.ns-strip-svg--wide{display:none}.ns-strip-svg *,.ns-plot *{vector-effect:non-scaling-stroke}.ns-strip-field{fill:var(--ns-faint)}.ns-strip-density{fill:color-mix(in srgb, var(--ink) 12%, transparent)}.ns-strip-edge{stroke:var(--ns-line);stroke-width:1px;stroke-dasharray:2 4}.ns-strip-critical{stroke:var(--red);stroke-width:2px}.ns-strip-zero{stroke:var(--ink);stroke-width:1px;stroke-opacity:.45}.ns-strip-pair{fill:var(--yellow)}.ns-strip-scan{fill:color-mix(in srgb, var(--yellow) 55%, transparent)}.ns-strip-box{fill:color-mix(in srgb, var(--blue) 8%, transparent);stroke:var(--blue);stroke-width:1.5px}.ns-strip-box[data-live]{stroke:var(--ink);stroke-width:2px}.ns-strip-box[data-found=unresolved]{stroke-dasharray:3 3}.ns-strip-box[data-found=zero]{fill:var(--red);stroke:var(--red)}.ns-strip-frontier{stroke:var(--yellow);stroke-width:3px}.ns-strip-tick,.ns-strip-frontier-label{font:400 11px / 1 var(--font-mono);font-variant-numeric:tabular-nums;white-space:nowrap;pointer-events:none;position:absolute}.ns-strip-tick{right:calc(100% + 8px);bottom:calc(var(--at) * 100%);color:var(--ns-dim);transform:translateY(50%)}.ns-strip-frontier-label{right:0;bottom:calc(var(--at) * 100% + 6px);background:var(--yellow);color:var(--ink);padding:2px 4px}.ns-strip-legend{font:400 11px / 1.4 var(--font-mono);color:var(--ns-dim);flex-wrap:wrap;gap:6px 14px;margin-left:44px;display:flex}.ns-strip-legend span:before{content:"";vertical-align:-1px;width:10px;height:10px;margin-right:6px;display:inline-block}.ns-strip-legend [data-mark=critical]:before{background:var(--red);width:2px}.ns-strip-legend [data-mark=zero]:before{vertical-align:3px;background:var(--ink);height:1px}.ns-strip-legend [data-mark=frontier]:before{vertical-align:3px;background:var(--yellow);height:3px}.ns-strip-legend [data-mark=box]:before{border:1.5px solid var(--blue)}.ns-strip-legend [data-mark=pair]:before{background:var(--yellow);width:4px}.ns-page{border:2px solid var(--ns-text);background:var(--paper);grid-template-rows:auto auto auto auto auto minmax(0,1fr) auto;min-height:0;display:grid}.ns-page>*{padding-inline:20px}.ns-page-head{border-bottom:2px solid var(--ns-line);justify-content:space-between;align-items:center;gap:12px;padding-block:12px;display:flex}.ns-pager{align-items:center;gap:4px;display:flex}.ns .ns-pager button{border:2px solid var(--ns-line);min-width:28px;height:28px;font:400 12px / 1 var(--font-mono);transition:background-color var(--dur-2) var(--ease), color var(--dur-2) var(--ease);place-items:center;padding:0 8px;display:grid}.ns .ns-pager button:not(:disabled):hover{border-color:var(--ns-text)}.ns .ns-pager button[aria-pressed=true]{border-color:var(--ns-text);background:var(--ns-text);color:var(--paper)}.ns-pager span{font:400 12px / 1 var(--font-mono);color:var(--ns-dim);padding-inline:8px}.ns-question{box-sizing:content-box;height:2.5em;font:600 clamp(18px, 1.6vw, 22px) / 1.25 var(--font-display);-webkit-line-clamp:2;-webkit-box-orient:vertical;margin:0;padding-top:14px;display:-webkit-box;overflow:hidden}.ns-plan{border-bottom:1px solid var(--ns-line);grid-template-columns:1fr 1fr;gap:8px 24px;margin:0;padding-block:10px 12px;display:grid}.ns-plan dt{font:400 11px / 1.5 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ns-dim)}.ns-plan dd{min-height:2.8em;margin:2px 0 0;font-size:14px;line-height:1.4;position:relative}.ns-plan-text{-webkit-line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.ns-plan dd[data-clipped]{cursor:default;outline:none}.ns-plan-full{z-index:3;border:2px solid var(--ns-text);background:var(--paper);opacity:0;visibility:hidden;pointer-events:none;padding:2px 8px 6px;transition:opacity .12s linear,visibility 0s linear .12s;position:absolute;top:-4px;left:-10px;right:-10px}.ns-plan dd[data-clipped]:hover .ns-plan-full,.ns-plan dd[data-clipped]:focus .ns-plan-full{opacity:1;visibility:visible;transition:opacity .12s linear}.ns-plan[data-empty] dd{color:var(--ns-dim)}.ns-caption{grid-template-rows:auto auto 1fr;gap:4px;height:9.6em;padding-block:12px;display:grid;overflow:hidden}.ns-caption-before{color:color-mix(in srgb, var(--ink) 38%, transparent);-webkit-line-clamp:1;-webkit-box-orient:vertical;margin:0;font-size:13px;line-height:1.45;display:-webkit-box;overflow:hidden}.ns-caption-now{-webkit-line-clamp:3;-webkit-box-orient:vertical;margin:0;font-size:clamp(16px,1.3vw,19px);line-height:1.4;display:-webkit-box;overflow:hidden}.ns-caption-now[data-empty]{color:var(--ns-dim)}.ns-caption[data-streaming]{border-left:4px solid var(--yellow);padding-left:16px}.ns .ns-read{width:fit-content;font:400 12px / 1.5 var(--font-mono);color:var(--ns-dim);text-decoration:underline;-webkit-text-decoration-color:var(--ns-line);text-decoration-color:var(--ns-line);text-underline-offset:3px;align-self:end}.ns .ns-read:hover{color:var(--ns-text)}.ns-steps{scrollbar-width:none;border-top:1px solid var(--ns-line);gap:6px;height:46px;margin:0;padding-block:8px;list-style:none;display:flex;overflow:auto hidden}.ns .ns-step{border:2px solid var(--ns-line);height:28px;font:400 12px / 1 var(--font-mono);white-space:nowrap;transition:background-color var(--dur-2) var(--ease), color var(--dur-2) var(--ease);align-items:center;padding:0 10px;display:inline-flex}.ns-step:before{background:color-mix(in srgb, var(--ink) 30%, transparent)}.ns-step[data-status=held]:before{background:var(--ns-held)}.ns-step[data-status=broke]:before,.ns-step[data-status=refused]:before{background:var(--ns-broke)}.ns-step[data-status=proved]:before,.ns-step[data-status=running]:before{background:var(--ns-proved)}.ns-step[data-status=routine]:before{box-shadow:inset 0 0 0 2px var(--ns-proved);background:0 0}.ns-step[data-status=known]:before{box-shadow:inset 0 0 0 2px var(--ns-held);background:0 0}.ns-step[data-status=refused]{color:var(--ns-dim)}.ns .ns-step[data-status=thinking]{border-style:dashed}.ns-step[data-status=thinking]:before{background:var(--ns-proved)}.ns .ns-step:hover{border-color:var(--ns-text)}.ns .ns-step[aria-pressed=true]{border-color:var(--ns-text);background:var(--ns-text);color:var(--paper)}.ns-page-body{overscroll-behavior:contain;border-top:1px solid var(--ns-line);min-height:0;padding-block:12px;position:relative;overflow-y:auto}.ns-reading{background:var(--paper);padding:14px 20px;position:absolute;inset:0;overflow-y:auto}.ns-reading p{white-space:pre-wrap;overflow-wrap:anywhere;margin:0;font-size:15px;line-height:1.65}.ns-exhibit{align-content:start;gap:10px;display:grid}.ns-exhibit-head{flex-wrap:wrap;align-items:baseline;gap:4px 12px;margin:0;display:flex}.ns-tool{font:400 11px / 1.5 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ns-dim)}.ns-args{font:400 13px / 1.5 var(--font-mono);overflow-wrap:anywhere}.ns-exhibit-body{min-width:0}.ns-exhibit-line,.ns-verdict,.ns-running{margin:0;font-size:14px;line-height:1.5}.ns-exhibit-line[data-refused]{color:var(--ns-dim)}.ns-verdict,.ns-running{font-family:var(--font-mono);font-size:13px}.ns-verdict:before{background:var(--ns-broke)}.ns-verdict[data-held]:before{background:var(--ns-held)}.ns-verdict[data-known]:before{box-shadow:inset 0 0 0 2px var(--ns-held);background:0 0}.ns-verdict[data-known]{color:var(--ns-dim)}.ns-turing[data-held]:before{background:var(--ns-proved)}.ns-provenance{font:400 11px / 1.5 var(--font-mono);letter-spacing:.02em;color:var(--ns-dim);margin:0}.ns-running:before{background:var(--ns-proved)}.ns-exhibit-code{max-height:220px;overflow:auto}.ns-plot{width:100%;max-width:560px;height:auto;max-height:170px;display:block}.ns-plot-axis{stroke:var(--ns-line);stroke-width:1px}.ns-plot-bar{fill:color-mix(in srgb, var(--ink) 16%, transparent)}.ns-plot-theory{fill:none;stroke:var(--ink);stroke-width:2px}.ns-plot-contrast{fill:none;stroke:var(--ns-dim);stroke-width:1.5px;stroke-dasharray:4 4}.ns-plot-bound{stroke:var(--red);stroke-width:1.5px;stroke-dasharray:4 3}.ns-plot-safe{fill:color-mix(in srgb, var(--blue) 16%, transparent)}.ns-plot-marker{fill:var(--ink)}.ns-plot-critical{stroke:var(--red);stroke-width:2px}.ns-plot-zero{stroke:var(--ink);stroke-width:1.5px}.ns-plot-pair{fill:var(--yellow)}.ns-plot-strip{fill:var(--ns-faint)}.ns-plot-box{fill:color-mix(in srgb, var(--blue) 12%, transparent);stroke:var(--blue);stroke-width:2px}.ns-plot-box[data-found=zero]{fill:var(--red)}.ns-legend{font:400 11px / 1.4 var(--font-mono);color:var(--ns-dim);flex-wrap:wrap;gap:4px 14px;margin:0;padding:0;list-style:none;display:flex}.ns-legend [data-mark=bar]:before{background:color-mix(in srgb, var(--ink) 16%, transparent)}.ns-legend [data-mark=theory]:before{vertical-align:4px;background:var(--ink);height:2px}.ns-legend [data-mark=contrast]:before{border-top:1.5px dashed var(--ns-dim);vertical-align:4px;height:0}.ns-legend [data-mark=bound]:before{border-top:1.5px dashed var(--red);vertical-align:4px;height:0}.ns-legend [data-mark=zero]:before{background:var(--ink);width:2px}.ns-legend [data-mark=pair]:before,.ns-legend [data-mark=marker]:before{background:var(--yellow)}.ns-legend [data-mark=box]:before{border:2px solid var(--blue)}.ns-legend [data-mark=critical]:before{background:var(--red);width:2px}.ns-card{gap:4px;margin:0;display:grid}.ns-card dt{font:400 11px / 1.5 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ns-dim)}.ns-card-text{margin:0 0 10px;font-size:17px;line-height:1.45}.ns-card--letter{border-left:6px solid var(--yellow);padding-left:14px;font-size:17px;line-height:1.5}.ns-search{gap:8px;display:grid}.ns-search-goal{white-space:pre-wrap;overflow-wrap:anywhere;margin:0;font-size:13px;line-height:1.5}.ns-search-moves{gap:4px;margin:0;padding:0;list-style:none;display:grid}.ns-search-moves li{align-items:baseline;gap:12px;font-size:13px;display:flex}.ns-search-moves span{font:400 12px / 1.4 var(--font-mono);color:var(--ns-dim);white-space:nowrap}.ns-search-moves [data-state=failed] code{color:var(--ns-dim);text-decoration:line-through;-webkit-text-decoration-color:var(--ns-line);text-decoration-color:var(--ns-line)}.ns-search-moves [data-state=closed] code{background:linear-gradient(transparent 58%, var(--yellow) 58%);font-weight:600}.ns-activity{border-top:2px solid var(--ns-line);font:400 13px / 1.5 var(--font-mono);white-space:nowrap;text-overflow:ellipsis;margin:0;padding-block:10px;overflow:hidden}.ns-side{grid-template-rows:auto minmax(0,1fr);gap:20px;min-height:0;display:grid}.ns-tiles{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin:0;padding:0;list-style:none;display:grid}.ns-tile{--tile:var(--red);border:2px solid var(--ns-line);border-top:6px solid var(--tile);align-content:start;gap:2px;min-width:0;padding:8px 10px 10px;display:grid}.ns-tile[data-color=blue]{--tile:var(--blue)}.ns-tile[data-color=yellow]{--tile:var(--yellow)}.ns-tile .ns-eyebrow{letter-spacing:.06em;white-space:nowrap;text-overflow:ellipsis;font-size:10px;overflow:hidden}.ns-tile-value{font:600 22px / 1.1 var(--font-display);font-variant-numeric:tabular-nums;margin:0}.ns-tile-note{height:2.7em;color:var(--ns-dim);-webkit-line-clamp:2;-webkit-box-orient:vertical;margin:0;font-size:11px;line-height:1.35;display:-webkit-box;overflow:hidden}.ns-quilt{align-content:start;gap:10px;min-height:0;display:grid}.ns-quilt-head{border-bottom:2px solid var(--ns-text);justify-content:space-between;align-items:center;gap:8px;padding-bottom:8px;display:flex}.ns-search-box input{box-sizing:border-box;border:2px solid var(--ns-line);background:var(--paper);width:100%;height:34px;color:var(--ns-text);font:400 13px / 1 var(--font-mono);border-radius:0;padding:0 10px}.ns-search-box input:focus{border-color:var(--ns-text);outline:none}.ns-cell{--cell:transparent;box-sizing:border-box;border:2px solid var(--ns-line);background:var(--cell);transition:translate var(--dur-2) var(--ease);display:block}.ns-well{aspect-ratio:5/3;min-height:0}.ns-cells{grid-template-rows:repeat(6,minmax(0,1fr));grid-template-columns:repeat(10,minmax(0,1fr));gap:6px;height:100%;margin:0;padding:0;list-style:none;display:grid}.ns-cells li{min-width:0;min-height:0;position:relative}.ns-slot,.ns-cells .ns-cell{width:100%;height:100%;display:block}.ns-slot{background:var(--ns-faint)}.ns .ns-cells .ns-cell:hover{translate:0 -2px}.ns-cells li:has(>[aria-pressed=true]):after{content:"";background:var(--ns-text);height:2px;position:absolute;bottom:-4px;left:0;right:0}.ns-cell[data-outcome=proved]{--cell:var(--ns-proved);border-color:var(--cell)}.ns-cell[data-outcome=held]{--cell:var(--ns-held);border-color:var(--cell)}.ns-cell[data-outcome=broke]{--cell:var(--ns-broke);border-color:var(--cell)}.ns-cell[data-outcome=live]{--cell:var(--ns-text);border-color:var(--cell)}.ns-results{overscroll-behavior:contain;grid-auto-rows:28px;align-content:start;height:100%;margin:0;padding:0;list-style:none;display:grid;overflow-y:auto}.ns .ns-results button{width:100%;height:100%;font:400 12px / 1 var(--font-mono);align-items:center;gap:10px;padding:0 6px;display:flex}.ns .ns-results button:hover{background:var(--ns-faint)}.ns .ns-results button[aria-pressed=true]{background:var(--ns-text);color:var(--paper)}.ns-result-number{width:3ch;color:var(--ns-dim);font-variant-numeric:tabular-nums;flex:none}.ns-result-text{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.ns-key{font:400 11px / 1.4 var(--font-mono);color:var(--ns-dim);flex-wrap:wrap;gap:4px 12px;margin:0;padding:0;list-style:none;display:flex}.ns-key li{align-items:center;gap:6px;display:inline-flex}.ns-key .ns-cell,.ns-result-mark{flex:none;width:10px;height:10px}.ns-block{align-content:start;gap:20px;min-width:0;display:grid}.ns-block-head{border-bottom:2px solid var(--ns-text);gap:6px;padding-bottom:12px;display:grid}.ns-block-head h3{font:600 clamp(22px, 2.2vw, 30px) / 1.15 var(--font-display);margin:0}.ns-block-head p{max-width:62ch;color:var(--ns-dim);margin:0;font-size:15px;line-height:1.55}.ns-rungs{grid-template-columns:repeat(6,minmax(0,1fr));gap:12px;margin:0;padding:0;list-style:none;display:grid}.ns-rung{--rung:var(--ns-line);border:2px solid var(--ns-line);border-top:6px solid var(--rung);align-content:start;gap:8px;min-width:0;padding:12px;display:grid}.ns-rung[data-rung=open]{--rung:var(--ink)}.ns-rung[data-rung=conjectured]{--rung:color-mix(in srgb, var(--blue) 45%, transparent)}.ns-rung[data-rung=measured]{--rung:var(--ns-held)}.ns-rung[data-rung=verified]{--rung:var(--ns-proved)}.ns-rung[data-rung=refuted]{--rung:var(--ns-broke)}.ns-rung-head{justify-content:space-between;margin:0;font-size:16px;font-weight:600;display:flex}.ns-rung-head b{font:400 14px / 1.5 var(--font-mono);font-variant-numeric:tabular-nums}.ns-rung-note,.ns-rung-more{white-space:nowrap;text-overflow:ellipsis;min-height:1.4em;font:400 11px / 1.4 var(--font-mono);color:var(--ns-dim);margin:0;overflow:hidden}.ns-rung ul{grid-auto-rows:26px;gap:2px;height:138px;margin:4px 0 0;padding:0;list-style:none;display:grid}.ns .ns-rung button{white-space:nowrap;text-overflow:ellipsis;width:calc(100% + 12px);height:26px;transition:background-color var(--dur-2) var(--ease), color var(--dur-2) var(--ease);margin-inline:-6px;padding:0 6px;font-size:13px;line-height:26px;display:block;overflow:hidden}.ns .ns-rung button:hover{background:var(--ns-faint)}.ns .ns-rung button[aria-pressed=true]{background:var(--ink);color:var(--paper)}.ns-rung-copies{font:400 11px / 1 var(--font-mono);opacity:.6}.ns-relation-source{font:400 11px / 1.5 var(--font-mono);color:var(--ns-dim);margin-left:8px}.ns-detail{overscroll-behavior:contain;border:2px solid var(--ns-text);align-content:start;gap:12px;max-width:900px;height:300px;padding:20px;display:grid;overflow-y:auto}.ns-detail h4{font:600 20px / 1.25 var(--font-display);margin:0}.ns-detail>p:not(.ns-eyebrow){margin:0;font-size:15px;line-height:1.55}.ns-code{border-left:6px solid var(--yellow);background:var(--ns-faint);white-space:pre-wrap;overflow-wrap:anywhere;margin:0;padding:12px 14px;font-size:13px;line-height:1.55}.ns-evidence,.ns-relations{gap:6px;margin:0;padding:0;font-size:14px;line-height:1.5;list-style:none;display:grid}.ns-evidence li:before{background:var(--ns-broke)}.ns-evidence li[data-held=true]:before{background:var(--ns-held)}.ns-evidence{grid-template-columns:8px max-content minmax(0,1fr);gap:8px 14px}.ns-evidence li{grid-column:1/-1;grid-template-columns:subgrid;align-items:baseline;display:grid}.ns-evidence li:before{align-self:start;margin:calc(.75em - 4px) 0 0}.ns-evidence-episode{font:400 12px / 1.4 var(--font-mono);font-variant-numeric:tabular-nums;white-space:nowrap;color:var(--ns-dim)}.ns-evidence-text{overflow-wrap:anywhere;min-width:0}.ns-relations{color:var(--ns-dim)}.ns .ns-relations button{color:var(--ns-text);text-decoration:underline;-webkit-text-decoration-color:var(--ns-line);text-decoration-color:var(--ns-line);text-underline-offset:3px}.ns-archive{grid-template-columns:minmax(0,1.4fr) minmax(280px,1fr);align-items:start;gap:clamp(32px,4vw,64px);display:grid}.ns-archive-side{gap:40px;display:grid}.ns-shelf{grid-template-columns:minmax(300px,.8fr) minmax(0,1.6fr);gap:24px 32px;display:grid}.ns-shelf-index{align-content:start;gap:16px;display:grid}.ns-shelf-list{border-top:1px solid var(--ns-line);grid-auto-rows:40px;margin:0;padding:0;list-style:none;display:grid}.ns-shelf-list li{border-bottom:1px solid var(--ns-line)}.ns .ns-shelf-list button{width:100%;height:100%;font:400 13px / 1 var(--font-mono);transition:background-color var(--dur-2) var(--ease), color var(--dur-2) var(--ease);justify-content:space-between;align-items:center;gap:16px;padding:0 12px;display:flex}.ns .ns-shelf-list button span:first-child{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.ns .ns-shelf-list button:hover{background:var(--ns-faint)}.ns .ns-shelf-list button[aria-pressed=true]{background:var(--ns-text);color:var(--paper)}.ns-shelf-episode{color:var(--ns-dim);font-variant-numeric:tabular-nums;flex:none}.ns-shelf-list [aria-pressed=true] .ns-shelf-episode{color:inherit}.ns-shelf-tabs{grid-template-columns:repeat(2,minmax(0,1fr));gap:4px;display:grid}.ns .ns-shelf-tabs button{white-space:nowrap;border:2px solid var(--ns-line);min-width:0;height:32px;font:400 12px / 1 var(--font-mono);transition:background-color var(--dur-2) var(--ease), color var(--dur-2) var(--ease);justify-content:space-between;align-items:center;gap:12px;padding:0 14px;display:flex}.ns .ns-shelf-tabs button:hover{border-color:var(--ns-text)}.ns .ns-shelf-tabs button[aria-pressed=true]{border-color:var(--ns-text);background:var(--ns-text);color:var(--paper)}.ns-shelf-tabs b{font-variant-numeric:tabular-nums;font-weight:400}.ns-shelf-sheet{grid-template-columns:minmax(0,1fr);align-content:start;gap:8px;display:grid}.ns-shelf-sheet .ns-provenance{white-space:nowrap;text-overflow:ellipsis;min-height:1.5em;overflow:hidden}.ns-shelf-code{box-sizing:border-box;white-space:pre;height:244px;padding:16px 20px;overflow:auto}.ns-pager--foot{justify-content:flex-start}.ns-letter{border-left:6px solid var(--yellow);background:var(--ns-faint);gap:10px;margin:0;padding:14px 16px;display:grid}.ns-letter blockquote{overscroll-behavior:contain;height:6.2em;margin:0;font-size:17px;line-height:1.55;overflow-y:auto}.ns-arms{gap:10px;display:grid}.ns-arms ol{gap:6px;margin:0;padding:0;list-style:none;display:grid}.ns-arms li{grid-template-columns:minmax(110px,1fr) minmax(0,1.4fr) 56px;align-items:center;gap:12px;font-size:14px;display:grid}.ns-arms li[data-current]>span:first-child{font-weight:600}.ns-arm-bar{background:linear-gradient(to right, var(--ns-text) calc(var(--share) * 100%), var(--ns-faint) 0);height:8px}.ns-arm-pulls{font:400 12px / 1.4 var(--font-mono);color:var(--ns-dim);text-align:right}.ns-arms-note{color:var(--ns-dim);margin:0;font-size:13px;line-height:1.5}.ns-card-note{font:400 12px / 1.5 var(--font-mono);color:var(--ns-dim);margin:4px 0 0}.ns-card-note[data-refused]{color:var(--red)}.ns-card-lean{border-left:6px solid var(--blue);background:var(--ns-faint);font:400 13px / 1.5 var(--font-mono);overflow-wrap:anywhere;margin:0 0 6px;padding:8px 10px}.ns-card-lean b{margin-right:6px;font-weight:600}.ns-proof-body{grid-template-columns:minmax(300px,.9fr) minmax(0,1.5fr);gap:24px 32px;display:grid}.ns-proof-index,.ns-proof-sheet{align-content:start;gap:10px;min-width:0;display:grid}.ns-proof-rows{overscroll-behavior:contain;grid-auto-rows:34px;gap:2px;height:322px;margin:0;padding:0;list-style:none;display:grid;overflow-y:auto}.ns .ns-proof-rows button{width:100%;height:34px;padding:0 8px 0 calc(8px + var(--depth,0) * 18px);white-space:nowrap;transition:background-color var(--dur-2) var(--ease), color var(--dur-2) var(--ease);align-items:center;gap:10px;font-size:14px;display:flex;overflow:hidden}.ns .ns-proof-rows button:hover{background:var(--ns-faint)}.ns .ns-proof-rows button[aria-pressed=true]{background:var(--ink);color:var(--paper)}.ns-proof-mark{box-sizing:border-box;border:2px solid;flex:none;width:10px;height:10px}[data-state=proved]>.ns-proof-mark{border-color:var(--ns-proved);background:var(--ns-proved)}[data-state=refuted]>.ns-proof-mark{border-color:var(--ns-broke);background:var(--ns-broke)}.ns-proof-title{text-overflow:ellipsis;min-width:0;overflow:hidden}.ns-proof-next{background:var(--ns-held);color:var(--paper);font:400 10px / 1.4 var(--font-mono);letter-spacing:.12em;text-transform:uppercase;flex:none;margin-left:auto;padding:1px 6px}.ns-proof-sheet h4{font:600 20px / 1.3 var(--font-display);white-space:nowrap;text-overflow:ellipsis;margin:0;overflow:hidden}.ns-proof-sheet .ns-eyebrow{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.ns-proof-code{box-sizing:border-box;border-left-color:var(--ink);height:200px;overflow:auto}.ns-proof-sheet[data-state=proved] .ns-proof-code{border-left-color:var(--yellow)}.ns-proof-sheet[data-state=refuted] .ns-proof-code{border-left-color:var(--red)}.ns-proof-facts{font:400 12px / 1.5 var(--font-mono);color:var(--ns-dim);gap:2px;margin:0;display:grid}.ns-proof-facts span{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.ns-proof-facts [data-state=proved]{color:var(--ns-text)}.ns-loops-body{grid-template-columns:repeat(3,minmax(0,1fr));gap:24px 32px;display:grid}.ns-loop{--loop:var(--ns-line);border-top:6px solid var(--loop);align-content:start;gap:10px;min-width:0;padding-top:10px;display:grid}.ns-loop[data-color=blue]{--loop:var(--blue)}.ns-loop[data-color=red]{--loop:var(--red)}.ns-loop[data-color=yellow]{--loop:var(--yellow)}.ns-loop-lines{grid-auto-rows:44px;gap:2px;height:274px;margin:0;padding:0;list-style:none;display:grid}.ns-loop-lines--method{height:228px}.ns-loop-lines li{grid-template-columns:22px minmax(0,1fr);align-items:center;gap:8px;padding:0 6px;font-size:13px;line-height:1.35;display:grid}.ns-loop-lines li:has(span){background:var(--ns-faint)}.ns-loop-lines li span{-webkit-line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.ns-loop-lines b{font:400 11px / 1 var(--font-mono);color:var(--ns-dim)}.ns-loop-lines li[data-change]{background:color-mix(in srgb, var(--blue) 12%, transparent);box-shadow:inset 3px 0 0 var(--ns-held)}.ns-loop-lines li[data-change=drop] span{color:var(--ns-dim);text-decoration:line-through}.ns-loop-lines .ns-loop-empty{color:var(--ns-dim);grid-column:1/-1}.ns-loop-lines li:has(.ns-loop-empty){background:0 0}.ns-loop-note{min-height:3em;color:var(--ns-dim);-webkit-line-clamp:2;-webkit-box-orient:vertical;margin:0;font-size:13px;line-height:1.5;display:-webkit-box;overflow:hidden}.ns-trial{margin:0;position:relative}.ns-trial svg{width:100%;height:auto;display:block;overflow:visible}.ns-trial-axis{stroke:var(--ns-line);stroke-width:1.5px}.ns-trial-slot{stroke:var(--ns-line);stroke-dasharray:2 4}.ns-trial-gap{stroke:var(--ns-dim);stroke-width:2px}.ns-trial-gap[data-gain=up]{stroke:var(--ns-held)}.ns-trial-gap[data-gain=down]{stroke:var(--ns-broke)}.ns-trial-tick{fill:var(--ns-dim);font:400 9px / 1 var(--font-mono);text-anchor:end}.ns-trial-old{fill:var(--paper);stroke:var(--ns-text);stroke-width:2px}.ns-trial-new{fill:var(--ns-text)}.ns-trial-hits{grid-template-columns:repeat(var(--pairs), minmax(0, 1fr));margin:0;padding:0 4.66667% 0 8.66667%;list-style:none;display:grid;position:absolute;inset:0}.ns .ns-trial-hits button{width:100%;height:100%}.ns .ns-trial-hits button:hover{background:var(--ns-faint)}.ns-trial-key{font:400 11px / 1.5 var(--font-mono);color:var(--ns-dim);gap:16px;margin:0;padding:0;list-style:none;display:flex}.ns-trial-key li:before{content:"";box-sizing:border-box;border:2px solid var(--ns-text);vertical-align:-1px;width:10px;height:10px;margin-right:6px;display:inline-block}.ns-trial-key li[data-mark=new]:before{background:var(--ns-text)}.ns-versions{flex-wrap:wrap;gap:4px;min-height:12px;margin:0;padding:0;list-style:none;display:flex}.ns-versions li{box-sizing:border-box;border:2px solid var(--ns-line);width:12px;height:12px}.ns-versions li[data-standing=champion]{border-color:var(--ns-text);background:var(--ns-text)}.ns-versions li[data-standing=retired]{border-color:var(--ns-proved);background:var(--ns-proved)}.ns-versions li[data-standing=lost]{border-color:var(--ns-broke);background:var(--ns-broke)}.ns-versions li[data-standing=reverted]{border-color:var(--ns-broke)}.ns-versions li[data-standing=trial]{border-color:var(--ns-held)}.ns-moves{margin-top:8px}@media (max-width:1180px){.ns-now{grid-template-columns:minmax(170px,220px) minmax(0,1fr);height:auto}.ns-strip,.ns-page{height:clamp(600px,100svh - 96px,820px)}.ns-side{grid-column:1/-1;grid-template-rows:auto;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:32px}.ns-rungs{grid-template-columns:repeat(3,minmax(0,1fr))}.ns-archive{grid-template-columns:1fr}.ns-loops-body{grid-template-columns:repeat(2,minmax(0,1fr))}.ns-loop[data-color=yellow]{grid-column:1/-1}}@media (max-width:900px){.ns-head{grid-template-columns:1fr;grid-template-areas:"quote""answer""vitals"}.ns-answer{justify-self:start}.ns-vitals{grid-template-columns:minmax(0,1fr);display:grid;position:relative}.ns-vitals dt{flex:none;width:104px}.ns-calibration{position:static}.ns-calibration-panel{width:auto;left:0;right:0}.ns-now{grid-template-columns:1fr}.ns-strip{height:160px}.ns-page{height:min(84svh,720px)}.ns-page>*{padding-inline:14px}.ns-strip-plot{margin:0 0 18px}.ns-strip-svg--tall{display:none}.ns-strip-svg--wide{display:block}.ns-strip-tick{top:calc(100% + 4px);bottom:auto;right:auto;left:calc(var(--at) * 100%);transform:translate(-50%)}.ns-strip-tick[data-edge=start]{transform:none}.ns-strip-tick[data-edge=end]{transform:translate(-100%)}.ns-strip-frontier-label{top:0;bottom:auto;right:auto;left:calc(var(--at) * 100% + 6px)}.ns-strip-legend{margin-left:0}.ns-plan{grid-template-columns:1fr}.ns-plan dd{min-height:1.4em}.ns-plan-text{-webkit-line-clamp:1}.ns-side{grid-template-columns:1fr}.ns-well{aspect-ratio:15/4}.ns-cells{grid-template-rows:repeat(4,minmax(0,1fr));grid-template-columns:repeat(15,minmax(0,1fr));gap:4px}.ns-rungs{grid-template-columns:repeat(2,minmax(0,1fr))}.ns-shelf{grid-template-columns:1fr}.ns-proof-body,.ns-loops-body{grid-template-columns:minmax(0,1fr)}.ns-proof-code{height:160px}}@media (prefers-reduced-motion:reduce){.ns .ns-rung button,.ns .ns-proof-rows button,.ns .ns-step,.ns .ns-pager button,.ns .ns-cells .ns-cell{transition:none}}.frame__stage .ns button{min-height:0}
.pt{gap:clamp(16px,2vw,24px);display:grid}.pt-tabs{border-bottom:2px solid color-mix(in srgb, var(--paper) 28%, transparent);grid-template-columns:repeat(2,minmax(0,1fr));width:100%;max-width:1400px;margin-inline:auto;display:grid}.frame__stage .pt-tab{min-height:0;color:color-mix(in srgb, var(--paper) 58%, transparent);font:inherit;text-align:left;cursor:pointer;transition:color var(--dur-2) var(--ease), border-color var(--dur-2) var(--ease);background:0 0;border:0;border-bottom:4px solid #0000;align-content:start;gap:4px;margin-bottom:-2px;padding:4px 16px 14px 0;display:grid}.frame__stage .pt-tab:hover,.frame__stage .pt-tab[aria-selected=true]{color:var(--paper)}.frame__stage .pt-tab[aria-selected=true]{border-bottom-color:var(--red)}.frame__stage .pt-tab[data-tab=shift][aria-selected=true]{border-bottom-color:var(--blue)}.pt-tab:focus-visible{outline:2px solid var(--yellow);outline-offset:3px}.pt-tab-title{font:600 clamp(18px, 2vw, 24px) / 1.2 var(--font-display);flex-wrap:wrap;align-items:center;gap:4px 14px;display:flex}.pt-live{font:400 11px / 1 var(--font-mono);letter-spacing:.14em;text-transform:uppercase;color:var(--paper);align-items:center;gap:7px;display:inline-flex}.pt-live:before{content:"";background:var(--red);border-radius:50%;width:9px;height:9px}.pt-live[data-off]{color:color-mix(in srgb, var(--paper) 58%, transparent)}.pt-live[data-off]:before{background:0 0;box-shadow:inset 0 0 0 2px}.pt-tab-note{font:400 12px / 1.4 var(--font-mono)}.pt-panel--sheet{background:var(--paper);width:100%;max-width:1400px;color:var(--ink);margin-inline:auto;padding:clamp(20px,3vw,44px)}@media (max-width:900px){.pt-tab-note{display:none}.pt-panel--sheet{width:auto;margin-inline:-24px;padding:24px 16px}}@media (prefers-reduced-motion:reduce){.frame__stage .pt-tab{transition:none}}