:root{--bg:#0b0d0c;--panel:#0e1110;--fg:#c9d1cd;--hi:#f1f5f3;--dim:#69756f;--faint:#232a27;--gone:#3a4540;--accent:#8fe3bd;--glow:rgba(143,227,189,0.45);--mono:var(--font-mono),ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;--lh:1.75;color-scheme:dark}@media (prefers-color-scheme:light){:root{--bg:#ecefed;--panel:#f3f5f4;--fg:#2a322e;--hi:#0c1210;--dim:#6c7772;--faint:#d6dcd9;--gone:#b4bdb9;--accent:#17684b;--glow:transparent;color-scheme:light}}*,:after,:before{box-sizing:border-box}body,html{margin:0;background:var(--bg);color:var(--fg)}body{font-family:var(--mono);font-size:14px;line-height:var(--lh);font-feature-settings:none;font-variant-ligatures:none;-webkit-font-smoothing:antialiased}::selection{background:var(--accent);color:var(--bg)}a{color:var(--accent);text-decoration:none}a:focus-visible,a:hover{color:var(--hi)}:focus-visible{outline:1px solid var(--accent);outline-offset:2px}h1{font-size:22px;line-height:1.45;letter-spacing:-.01em;text-wrap:balance}h1,h2{margin:0;font-weight:500;color:var(--hi)}h2{font-size:14px}p{margin:0;text-wrap:pretty}.tmux{display:flex;flex-direction:column;min-height:100dvh}.panes{flex:1 1;min-height:0}.pane-session,.panes{display:flex;flex-direction:column}.pane-session{gap:1.75em;padding:1.75em max(16px,env(safe-area-inset-right)) 1.75em max(16px,env(safe-area-inset-left))}.pane-figure{display:none}.site-head .brand{display:inline-flex;align-items:center;gap:.8em;color:var(--hi);font-size:18px;font-weight:500;line-height:1;text-decoration:none}.mark{height:1.15em;width:auto;flex:none}.mark-bar{fill:var(--accent)}.wordmark{white-space:nowrap;letter-spacing:-.01em}.wordmark .glyph{height:.73em;width:auto;margin:0 .05em;vertical-align:baseline}.glyph-s{aspect-ratio:44.37/36}.glyph-f{aspect-ratio:34.22/36}.status{display:flex;flex-wrap:wrap;align-items:baseline;gap:0 2ch;padding:0 max(16px,env(safe-area-inset-left));background:var(--accent);color:var(--bg);font-size:12px;line-height:1.75}.status ul{display:contents}.status li{list-style:none;white-space:nowrap}.status-right{margin-left:auto}.status a{color:var(--bg)}.status a:focus-visible,.status a:hover,.status a[aria-current=page]{color:var(--bg);font-weight:500}.status a:not([aria-current=page]){opacity:.72}.status a:focus-visible{outline-color:var(--bg)}.status-session{padding:0 .5ch}.status[data-prefix] .status-session{background:var(--bg);color:var(--accent)}.status-message{flex:1 1;font-weight:500}@media (max-width:899px){.status-clock{display:none}}.login{color:var(--dim);font-size:12px;margin-bottom:-1.75em}.tmux-popup{position:fixed;z-index:10;left:50%;top:50%;transform:translate(-50%,-50%);width:min(64ch,calc(100vw - 32px));padding:1em 2ch;background:var(--panel);border:1px solid var(--accent);color:var(--dim);display:flex;flex-direction:column;gap:.75em}.tmux-popup b{font-weight:400;color:var(--hi)}.tmux-popup-head{display:flex;justify-content:space-between;color:var(--accent)}.tmux-screen{position:fixed;z-index:20;inset:0;padding:1.75em max(16px,env(safe-area-inset-left));background:var(--bg);color:var(--fg)}.tmux-screen .prompt{color:var(--accent)}.tmux-screen button{margin-top:1.75em;padding:0;border:0;background:none;font:inherit;color:var(--dim);cursor:pointer}@media (min-width:900px){.tmux{height:100dvh;padding:16px}.panes{flex-direction:row;border:1px solid var(--faint);border-bottom:0;background:var(--bg)}.pane-session{overflow-y:auto;scrollbar-width:thin;scrollbar-color:var(--faint) transparent}.pane-figure,.pane-session{flex:1 1;min-width:0;padding:1.75em 4ch}.pane-figure{display:flex;flex-direction:column;justify-content:center;gap:.5em;border-left:1px solid var(--faint)}.pane-figure:focus,.pane-session:focus{outline:none}.tmux[data-panes="2"] .pane-figure{border-left-color:var(--accent)}.tmux[data-panes="2"][data-active=figure] .pane-session>*,.tmux[data-panes="2"][data-active=session] .pane-figure>*{opacity:.7;transition:opacity .12s}.tmux[data-zoom=figure] .pane-session,.tmux[data-zoom=session] .pane-figure{display:none}.tmux[data-zoom] .pane-figure{border-left:0}.page .figure-inline{display:none}.status{padding:0 1ch}}.page{display:flex;flex-direction:column;gap:1.75em;max-width:64ch;min-width:0}.figure-inline{margin-top:.5em}.figure-inline,.run-block{gap:.5em}.figure-inline,.run-block,.thesis{display:flex;flex-direction:column}.thesis{gap:1em;max-width:64ch;margin-top:.25em;color:var(--fg)}.thesis-headline{margin:0;font-size:22px;font-weight:500;line-height:1.45;letter-spacing:-.01em;color:var(--hi);text-wrap:balance}.terminal-out .thesis{margin-block:.25em .5em;white-space:normal}.hl{color:var(--hi)}.back,.muted{color:var(--dim)}.ls{list-style:none;margin:0;padding:0;flex-wrap:wrap;gap:0 4ch}.ls,.rows{display:flex}.rows{flex-direction:column}.row{display:grid;grid-template-columns:minmax(0,18ch) minmax(0,1fr);grid-gap:0 3ch;gap:0 3ch;padding-block:.5em;border-top:1px solid var(--faint)}.row:last-child{border-bottom:1px solid var(--faint)}@media (max-width:480px){.row{grid-template-columns:minmax(0,1fr)}}.ladder{display:flex;flex-wrap:wrap;gap:0 1ch;color:var(--dim)}.ladder b{font-weight:400;color:var(--fg)}.ladder b:last-child{color:var(--accent)}.figure{margin:0;min-width:0;display:flex;flex-direction:column;gap:.5em}.figure-bar{display:flex;flex-wrap:wrap;justify-content:space-between;gap:0 2ch;font-size:12px;color:var(--dim)}.figure-bar button{font:inherit;color:var(--accent);background:none;border:0;padding:0;cursor:pointer}.figure-bar .key{color:var(--dim)}.figure-bar button:hover{color:var(--hi)}.figure-stage{container-type:inline-size;background:var(--panel);border:1px solid var(--faint);overflow:hidden}.figure-stage pre{margin:0;padding:1.2em 0 .8em;font-family:var(--mono);font-size:min(14px,calc(100cqi / 38));line-height:1;white-space:pre;text-align:center;-webkit-user-select:none;-moz-user-select:none;user-select:none}.c-lit{color:var(--accent);text-shadow:0 0 5px var(--glow)}.c-head{color:var(--fg)}.c-dust{color:var(--gone)}.terminal,.terminal-log{display:flex;flex-direction:column}.terminal-echo{color:var(--fg);white-space:pre-wrap;overflow-wrap:anywhere}.terminal-echo .prompt{color:var(--accent)}.terminal-out{color:var(--dim);white-space:pre-wrap;overflow-wrap:anywhere}.terminal-out b{font-weight:400;color:var(--fg)}.help,.ls-long{display:grid;grid-template-columns:max-content minmax(0,1fr);grid-gap:0 3ch;gap:0 3ch}.help,.ls-long,.terminal-out .ls{white-space:normal}.help>span,.ls-long>span{display:contents}@media (max-width:480px){.help{grid-template-columns:minmax(0,1fr)}.help>span>span:not(:empty){padding-left:2ch}}.terminal-line[hidden]{display:none}.run{display:flex;flex-direction:column;gap:.25em;container-type:inline-size;white-space:normal}.run pre{margin:.5em 0;font-family:var(--mono);font-size:min(14px,calc(100cqi / 38));line-height:1;white-space:pre}.run-done{color:var(--fg)}.terminal-line{display:flex;gap:1ch;align-items:center}.terminal-line label{color:var(--accent);white-space:nowrap}.terminal-input{position:relative;flex:1 1;min-width:0}.terminal-input input{width:100%;padding:0;border:0;background:transparent;color:var(--hi);font:inherit;caret-color:transparent;outline:none}.terminal-caret{position:absolute;top:50%;width:1ch;height:1.2em;transform:translateY(-50%);background:var(--accent);pointer-events:none}.terminal-caret.static{position:relative;display:inline-block;top:auto;transform:none;vertical-align:-.2em;margin-left:1ch}.terminal-input input:not(:focus)+.terminal-caret{background:transparent;outline:1px solid var(--gone)}@media (prefers-reduced-motion:no-preference){.terminal-caret.static,.terminal-input input:focus+.terminal-caret{animation:blink 1.1s steps(1) infinite}}@keyframes blink{50%{opacity:0}}.page>.terminal-echo+*{margin-top:-1em}.figure-row .cell{display:inline-block;width:.6em;text-align:center}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/013b72fa676f92e0-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/b9408752a0c24fb9-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/65f03d54ccadf4a8-s.woff2) format("woff2");unicode-range:u+2000-2001,u+2004-2008,u+200a,u+23b8-23bd,u+2500-259f}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/e038a29029a234f2-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/2b5b02fc7e511755-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c4,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Geist Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/7d4881bb7e1bf84d-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Geist Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/013b72fa676f92e0-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:Geist Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/b9408752a0c24fb9-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:Geist Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/65f03d54ccadf4a8-s.woff2) format("woff2");unicode-range:u+2000-2001,u+2004-2008,u+200a,u+23b8-23bd,u+2500-259f}@font-face{font-family:Geist Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/e038a29029a234f2-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Geist Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/2b5b02fc7e511755-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c4,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Geist Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/7d4881bb7e1bf84d-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Geist Mono Fallback;src:local("Arial");ascent-override:74.67%;descent-override:21.92%;line-gap-override:0.00%;size-adjust:134.59%}.__className_88b4eb{font-family:Geist Mono,Geist Mono Fallback;font-style:normal}.__variable_88b4eb{--font-mono:"Geist Mono","Geist Mono Fallback"}