:is(html:has(.pf-root),body:has(.pf-root)){background:var(--night)}html:has(.pf-root){scroll-padding-top:64px}.pf-root{--pf-top:52px;--pf-gutter:5ch;--pf-code:14px;--pf-gold-line:color-mix(in srgb, var(--gold) 42%, transparent);--pf-gold-wash:color-mix(in srgb, var(--gold) 7%, transparent);--pf-error:color-mix(in srgb, var(--rubric) 50%, var(--on-dark));min-height:100svh;color:var(--on-dark);font-family:var(--serif)}.pf-root ::selection{color:inherit;background:color-mix(in srgb, var(--gold) 34%, transparent)}.pf-root a{color:inherit;-webkit-text-decoration-color:color-mix(in srgb, var(--gold) 55%, transparent);text-decoration-color:color-mix(in srgb, var(--gold) 55%, transparent)}.pf-root a:hover{color:var(--gold);text-decoration-color:currentColor}.pf-root :is(a,button,summary):focus-visible{outline:2px solid var(--gold);outline-offset:2px}.pf-root code{font-family:var(--mono)}.pf-top{z-index:5;height:var(--pf-top);border-bottom:1px solid var(--line-dark);background:color-mix(in srgb, var(--night) 94%, transparent);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);font:500 12px/1 var(--sans);letter-spacing:.16em;text-transform:uppercase;align-items:center;gap:18px;padding:0 clamp(16px,3vw,32px);display:flex;position:sticky;top:0}.pf-brand{color:var(--on-dark);font:500 21px/1 var(--display);letter-spacing:0;text-transform:none;text-decoration:none}.pf-mode{color:var(--gold)}.pf-versions{gap:20px;margin-left:auto;display:flex}.pf-root .pf-versions a,.pf-root .pf-to-plain{color:var(--on-dark-soft);text-decoration:none}.pf-root .pf-versions a:hover,.pf-root .pf-to-plain:hover{color:var(--on-dark)}.pf-to-plain{border:1px solid var(--line-dark);padding:9px 12px}.pf-ide{grid-template-columns:minmax(0,1fr) minmax(300px,400px);align-items:start;gap:16px;max-width:1440px;margin:0 auto;padding:16px clamp(12px,2.5vw,32px) 56px;display:grid}.pf-editor{border:1px solid var(--line-dark);background:var(--night-lift);border-radius:4px;min-width:0}.pf-tabs{border-bottom:1px solid var(--line-dark);background:var(--night);height:38px;color:var(--on-dark-soft);font:400 12px/1 var(--sans);letter-spacing:.04em;border-radius:4px 4px 0 0;align-items:center;gap:14px;padding-right:10px;display:flex}.pf-tab{border-top:2px solid var(--gold);background:var(--night-lift);color:var(--on-dark);font:13px/1 var(--mono);border-radius:4px 0 0;align-self:stretch;align-items:center;padding:0 16px;display:flex}.pf-progress{white-space:nowrap;margin-left:auto}.pf-restart{border:1px solid var(--line-dark);color:var(--on-dark);font:inherit;white-space:nowrap;cursor:pointer;background:0 0;padding:6px 10px}.pf-restart:hover{border-color:var(--gold);color:var(--gold)}.pf-code{counter-reset:pf-line;color:var(--on-dark);font:400 var(--pf-code)/1.65 var(--mono);padding:14px 0 0}.pf-line{min-height:1.65em;padding:0 16px 0 calc(var(--pf-gutter) + 2ch + var(--in,0) * 2ch + 2ch);text-indent:-2ch;white-space:pre-wrap;overflow-wrap:anywhere;counter-increment:pf-line;position:relative}.pf-line:before{content:counter(pf-line);width:var(--pf-gutter);color:color-mix(in srgb, var(--on-dark-soft) 50%, transparent);text-align:right;text-indent:0;-webkit-user-select:none;user-select:none;position:absolute;left:0}.pf-k{color:var(--gold)}.pf-t{color:var(--gold);font-weight:600}.pf-d{color:var(--selection)}.pf-n{color:var(--vellum);font-weight:500}.pf-p{color:var(--on-dark-soft)}.pf-ty{color:var(--on-dark)}.pf-c{color:var(--on-dark-soft);font-style:italic}.pf-c a{color:var(--on-dark);font-style:normal}.pf-doc{--pf-doc-in:2ch;--pf-doc-left:calc(var(--pf-gutter) + 2ch + var(--pf-doc-in));max-width:96ch;margin:6px 16px 10px var(--pf-doc-left);border-left:2px solid var(--pf-gold-line);background:var(--pf-gold-wash);counter-increment:pf-line;padding:6px 18px;position:relative}.pf-doc:before{content:counter(pf-line);top:6px;left:calc(-1 * var(--pf-doc-left) - 2px);width:var(--pf-gutter);color:color-mix(in srgb, var(--on-dark-soft) 50%, transparent);text-align:right;-webkit-user-select:none;user-select:none;position:absolute}.pf-module,.pf-statement-doc{--pf-doc-in:0ch}.pf-delim{color:color-mix(in srgb, var(--on-dark-soft) 70%, transparent);-webkit-user-select:none;user-select:none;font-size:12px;display:block}.pf-delim-end{text-align:right}.pf-doc-body{color:var(--on-dark);font:400 16px/1.55 var(--serif);padding:4px 0 6px}.pf-doc-body>*+*{margin-top:10px}.pf-doc-body p{max-width:68ch}.pf-doc ul{margin:0;padding:0;list-style:none}.pf-name{color:var(--on-dark);font:400 clamp(46px, 6.4vw, 84px)/.95 var(--display);letter-spacing:-.01em;margin:2px 0 0}.pf-affiliation{color:var(--gold);font:500 12px/1.5 var(--sans);letter-spacing:.14em;text-transform:uppercase}.pf-bio{max-width:52ch;font-size:18px}.pf-how{max-width:62ch;color:var(--on-dark-soft);font-size:15px}.pf-question{color:var(--on-dark);font:italic 400 clamp(23px, 2.6vw, 31px)/1.25 var(--display)}.pf-lead,.pf-label,.pf-keys,.pf-meta,.pf-work small{color:var(--on-dark-soft)}.pf-questions{grid-template-columns:repeat(auto-fit,minmax(190px,1fr));gap:16px 22px;display:grid}.pf-questions li{border-top:1px solid var(--line-dark);padding-top:10px;font-size:15px}.pf-questions li>*+*{margin-top:6px}.pf-label{font:500 11px/1.4 var(--sans);letter-spacing:.14em;text-transform:uppercase}.pf-label code{color:var(--gold);letter-spacing:0;text-transform:none;margin-right:6px;font-size:13px}.pf-q{color:var(--on-dark);font:500 21px/1.2 var(--display)}.pf-keys{font:400 11.5px/1.4 var(--sans);letter-spacing:.08em}.pf-onward a,.pf-links a{font:500 12px/1.4 var(--sans);letter-spacing:.14em;text-transform:uppercase}.pf-onward a:after{content:" →"}.pf-lemma{margin-top:8px}.pf-lemma .pf-doc{border-left-color:var(--gilt);background:color-mix(in srgb, var(--gilt) 9%, transparent)}.pf-title{font:500 21px/1.22 var(--display)}.pf-root .pf-title a{-webkit-text-decoration-color:color-mix(in srgb, var(--gilt) 60%, transparent);text-decoration-color:color-mix(in srgb, var(--gilt) 60%, transparent)}.pf-meta{font:400 13px/1.45 var(--sans)}.pf-links{flex-wrap:wrap;gap:4px 18px;display:flex}.pf-remark em{font-weight:600}.pf-essays li{border-bottom:1px solid var(--line-dark);grid-template-columns:minmax(0,1fr) auto;align-items:baseline;gap:0 18px;padding:7px 0;display:grid}.pf-essays a{grid-column:1}.pf-original{color:var(--on-dark-soft);font:14px/1.5 var(--cjk-sc);grid-column:1}.pf-essays time{color:var(--on-dark-soft);font:12px/1.5 var(--sans);white-space:nowrap;grid-area:1/2}.pf-works li{border-bottom:1px solid var(--line-dark);grid-template-columns:minmax(170px,max-content) minmax(0,1fr);align-items:center;gap:4px 16px;margin:0 -8px;padding:7px 8px;display:grid}.pf-works li>code{color:var(--gold);font-size:13px}.pf-works li>code.pf-unready{color:var(--on-dark-soft)}.pf-works li.is-chosen{background:color-mix(in srgb, var(--gold) 12%, transparent)}.pf-work small{font:12px/1.4 var(--sans);letter-spacing:.04em;display:block}.pf-chip.pf-choose{min-height:38px}.pf-cursor{z-index:2;border-top:1px solid var(--line-dark);background:var(--night-lift);text-indent:0;white-space:normal;border-radius:0 0 4px 4px;margin-top:8px;padding-top:12px;padding-bottom:14px;position:sticky;bottom:0;box-shadow:0 -14px 24px -14px #000000b3}.pf-cursor:before{top:12px}.pf-cursor>.pf-c{margin:0 0 8px}.pf-chips{flex-wrap:wrap;align-items:stretch;gap:8px;display:flex}.pf-caret{background:var(--gold);align-self:center;width:2px;height:1.5em;margin-right:2px;animation:1.1s step-end infinite pf-blink}.pf-chip{border:1px solid var(--pf-gold-line);border-radius:var(--radius);background:var(--pf-gold-wash);min-height:46px;color:var(--on-dark);font:inherit;text-align:left;cursor:pointer;transition:background-color .16s var(--ease-out), border-color .16s var(--ease-out);flex-direction:column;justify-content:center;gap:3px;padding:6px 12px;text-decoration:none;display:inline-flex}.pf-chip code{color:var(--gold);font:500 14px/1.2 var(--mono);white-space:nowrap}.pf-chip small{color:var(--on-dark-soft);font:400 11px/1.2 var(--sans);letter-spacing:.05em}.pf-root .pf-chip:hover{border-color:var(--gold);background:color-mix(in srgb, var(--gold) 18%, transparent);color:var(--on-dark)}.pf-chip:active{translate:0 1px}.pf-hint{border-color:var(--gold);background:var(--gold)}.pf-hint code{color:var(--ink);align-items:center;gap:6px;display:inline-flex}.pf-hint small{color:var(--ink-soft);font:12px/1.2 var(--mono);letter-spacing:0}.pf-root .pf-hint:hover{border-color:var(--selection);background:var(--selection)}.pf-chip.is-early,.pf-skip{background:0 0;border-style:dashed}.pf-chip.is-early code,.pf-skip code{color:var(--on-dark-soft)}.pf-error{color:var(--pf-error);font:13px/1.5 var(--sans);margin-top:10px}.pf-error code{-webkit-text-decoration:underline wavy var(--rubric);text-decoration:underline wavy var(--rubric);text-underline-offset:3px;margin-right:6px;font-size:13px}.pf-step.is-fresh .pf-line{animation:.46s steps(20,end) both pf-type}.pf-step.is-fresh .pf-doc{animation:pf-rise .52s var(--ease-out) .2s both}@keyframes pf-type{0%{clip-path:inset(0 100% 0 0)}to{clip-path:inset(0)}}@keyframes pf-rise{0%{opacity:0;transform:translateY(6px)}}@keyframes pf-blink{50%{opacity:0}}.pf-info{top:calc(var(--pf-top) + 16px);max-height:calc(100svh - var(--pf-top) - 32px);background:var(--vellum);color:var(--ink);font:400 13px/1.5 var(--mono);border-radius:4px;position:sticky;overflow:auto}.pf-info-bar{display:none}.pf-info-body{padding:14px 18px 18px}.pf-info-pos{color:var(--ink-soft);font-size:12px}.pf-info-head{color:var(--ink);font:600 11px/1.3 var(--sans);letter-spacing:.16em;text-transform:uppercase;margin-top:10px}.pf-info-goals{color:var(--ink-soft);margin:4px 0 10px}.pf-goal+.pf-goal{border-top:1px dashed var(--line-light);margin-top:14px;padding-top:12px}.pf-case{color:var(--gold-ink);font-weight:600}.pf-hyps{margin:2px 0;padding:0;list-style:none}.pf-hyp{text-indent:-2ch;border-radius:2px;margin:0 -6px;padding:1px 6px 1px calc(6px + 2ch)}.pf-hyp.is-new{background:color-mix(in srgb, var(--gilt) 32%, transparent)}.pf-hyp-name{color:var(--rubric);font-weight:600}.pf-target{text-indent:-2ch;margin-top:6px;padding-left:2ch}.pf-turnstile{color:var(--rubric);font-weight:700}.pf-info summary{color:var(--ink-soft);font:12px/1.6 var(--sans);cursor:pointer}.pf-msg{border-left:3px solid var(--rubric);background:color-mix(in srgb, var(--rubric) 8%, transparent);color:var(--rubric);margin-top:12px;padding:8px 10px}.pf-info-qed{color:var(--blood);font:500 24px/1.2 var(--display);margin-top:12px}.pf-reading{border-left:3px solid var(--gilt);background:color-mix(in srgb, var(--gilt) 14%, transparent);font:400 16px/1.5 var(--serif);margin:10px 0 14px;padding:10px 12px}.pf-reading-head{color:var(--ink-soft);font:600 11px/1.3 var(--sans);letter-spacing:.16em;text-transform:uppercase;margin-bottom:4px}.pf-qed{margin:14px 16px 16px calc(var(--pf-gutter) + 2ch);background:var(--blood);color:var(--on-dark);animation:pf-rise .6s var(--ease-out) both;border-radius:4px;padding:clamp(24px,4vw,44px)}.pf-qed-head{color:var(--gold);font:500 13px/1 var(--sans);letter-spacing:.18em;text-transform:uppercase;align-items:center;gap:12px;display:flex}.pf-tomb{letter-spacing:0;font-size:28px}.pf-qed-what{color:var(--on-dark-soft);margin-top:12px}.pf-qed-what code{color:var(--gold)}.pf-qed h2{font:400 clamp(38px, 5vw, 62px)/1.05 var(--display);margin-top:24px}.pf-qed-copy{max-width:46ch;margin-top:10px;font-size:18px}.pf-email{font:400 clamp(21px, 2.6vw, 29px)/1.25 var(--display);overflow-wrap:anywhere;margin-top:18px;display:inline-block}.pf-qed-links{font:500 12px/1.4 var(--sans);letter-spacing:.14em;text-transform:uppercase;flex-wrap:wrap;gap:8px 22px;margin-top:16px;display:flex}.pf-qed-again{color:var(--on-dark-soft);font:400 14px/1.5 var(--sans);flex-wrap:wrap;align-items:center;gap:12px 18px;margin-top:28px;display:flex}.pf-qed-again button{border:1px solid var(--gold);min-height:44px;color:var(--gold);font:500 12px/1 var(--sans);letter-spacing:.14em;text-transform:uppercase;cursor:pointer;background:0 0;padding:10px 16px}.pf-qed-again button:hover{background:color-mix(in srgb, var(--gold) 16%, transparent)}html:not(.js) .pf-live{display:none}.pf-static{max-width:1120px;margin:0 auto;padding:16px clamp(12px,2.5vw,32px) 56px}.pf-static-note{color:var(--on-dark-soft);font:14px/1.5 var(--sans);margin-bottom:12px}.pf-static .pf-code{padding-bottom:12px}.pf-plain{padding:var(--chapter-space) clamp(16px, 5vw, 72px);background:var(--vellum);color:var(--ink)}.pf-root .pf-plain a{-webkit-text-decoration-color:var(--link-underline);text-decoration-color:var(--link-underline)}.pf-root .pf-plain a:hover{color:var(--rubric)}.pf-root .pf-plain :is(a,button):focus-visible{outline-color:var(--rubric)}.pf-plain-head,.pf-plain-grid{max-width:var(--shell);margin:0 auto}.pf-plain-head{margin-bottom:40px}.pf-plain-head>p:last-child{color:var(--ink-soft);margin-top:10px}.pf-plain-kicker{color:var(--rubric);font:500 12px/1 var(--sans);letter-spacing:.16em;text-transform:uppercase}.pf-plain-kicker code{letter-spacing:0;text-transform:none}.pf-plain h2{font:400 var(--text-3xl)/1 var(--display);margin-top:12px}.pf-plain-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:40px 48px;display:grid}.pf-plain-grid>section>p+p{margin-top:8px}.pf-plain h3{border-bottom:1px solid var(--line-light);font:500 25px/1.2 var(--display);margin-bottom:10px;padding-bottom:8px}.pf-plain h3.pf-plain-sub{margin-top:28px}.pf-plain ul{margin:8px 0 0;padding:0;list-style:none}.pf-plain li{break-inside:avoid;padding:5px 0;font-size:16px;line-height:1.45}.pf-plain-note,.pf-plain time{color:var(--ink-soft);font:400 13px/1.4 var(--sans)}.pf-plain-essays{grid-column:1/-1}.pf-plain-essays ul{columns:3 260px;column-gap:48px}@media (max-width:1080px){.pf-plain-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:899px){.pf-root{--pf-gutter:3ch;--pf-code:13px}.pf-ide{grid-template-columns:minmax(0,1fr);gap:0;padding:0}.pf-editor{border-width:0 0 1px;border-radius:0}.pf-tabs,.pf-tab{border-radius:0}.pf-line{padding-right:10px;padding-left:calc(var(--pf-gutter) + 1ch + var(--in,0) * 2ch + 2ch)}.pf-doc{--pf-doc-left:calc(var(--pf-gutter) + 1ch);margin-right:10px;padding:4px 12px}.pf-cursor{padding-left:calc(var(--pf-gutter) + 2ch);bottom:48px}.pf-chips{scrollbar-width:none;flex-wrap:nowrap;margin-right:-10px;padding-right:40px;overflow-x:auto;-webkit-mask-image:linear-gradient(90deg,#000 calc(100% - 40px),#0000);mask-image:linear-gradient(90deg,#000 calc(100% - 40px),#0000)}.pf-chips::-webkit-scrollbar{display:none}.pf-chip{flex:none}.pf-name{font-size:42px}.pf-bio{font-size:16.5px}.pf-how{font-size:14px}.pf-question{font-size:23px}.pf-qed{margin:12px 10px 16px}.pf-info{z-index:3;border-radius:10px 10px 0 0;max-height:none;position:sticky;top:auto;bottom:0;overflow:visible;box-shadow:0 -10px 28px #00000080}.pf-info-bar{border-radius:inherit;background:var(--vellum);width:100%;min-height:48px;color:var(--ink);font:13px/1.2 var(--mono);text-align:left;cursor:pointer;border:0;align-items:center;gap:10px;padding:0 14px;display:flex}.pf-info-name{font:600 11px/1 var(--sans);letter-spacing:.14em;text-transform:uppercase}.pf-info-count{color:var(--rubric);white-space:nowrap}.pf-info-peek{min-width:0;color:var(--ink-soft);text-overflow:ellipsis;white-space:nowrap;flex:1;overflow:hidden}.pf-info-body{display:none}.pf-info[data-open=true] .pf-info-body{border-top:1px solid var(--line-light);max-height:62svh;display:block;overflow:auto}}@media (max-width:640px){.pf-top{gap:12px}.pf-versions{display:none}.pf-to-plain{margin-left:auto}.pf-progress{display:none}.pf-restart{margin-left:auto}.pf-works li{grid-template-columns:minmax(0,1fr)}.pf-works li>:first-child{justify-self:start}.pf-essays li{grid-template-columns:minmax(0,1fr)}.pf-essays time{grid-area:auto/1}.pf-plain-grid{grid-template-columns:minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){.pf-step.is-fresh .pf-line,.pf-step.is-fresh .pf-doc,.pf-qed,.pf-caret{animation:none}}