@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/b1d5dad78a0d12b5-s.2tzyq4j6faaxz.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/17381594d15ffe51-s.2gfkf5nkjoj6c.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/f8ed89659f8cd9f4-s.08bwskror5ta0.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/ea20f3f596d3a0b3-s.1phm37u2b_u0m.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/1995f8c0ebebeccd-s.2ym2ta1kz5kj_.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:STIX Two Text;font-style:normal;font-weight:400 700;font-display:swap;src:url(../media/62c2ceb5e93c1826-s.p.38-aukekfqnuh.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:STIX Two Text Fallback;src:local(Times New Roman);ascent-override:72.67%;descent-override:22.7%;line-gap-override:23.84%;size-adjust:104.86%}.stix_two_text_4292797c-module__zfm9Yq__className{font-family:STIX Two Text,STIX Two Text Fallback;font-style:normal}.stix_two_text_4292797c-module__zfm9Yq__variable{--font-body:"STIX Two Text", "STIX Two Text Fallback"}
@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/7fea77d1d19108bf-s.2y65deuc30pmy.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/1bcd0e671759a44c-s.2qt3tdwt-y9x_.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/e15f58668ad64cb8-s.3cvcemwuzoywn.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/90c51ce8fb754fe8-s.02z5rrbg5nt92.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/57215795b8570f5c-s.2rixgazldzomk.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/03fc1b4a8d284b5e-s.p.0wiir8udbzjvx.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/7fea77d1d19108bf-s.2y65deuc30pmy.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/1bcd0e671759a44c-s.2qt3tdwt-y9x_.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/e15f58668ad64cb8-s.3cvcemwuzoywn.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/90c51ce8fb754fe8-s.02z5rrbg5nt92.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/57215795b8570f5c-s.2rixgazldzomk.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/03fc1b4a8d284b5e-s.p.0wiir8udbzjvx.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/7fea77d1d19108bf-s.2y65deuc30pmy.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/1bcd0e671759a44c-s.2qt3tdwt-y9x_.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/e15f58668ad64cb8-s.3cvcemwuzoywn.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/90c51ce8fb754fe8-s.02z5rrbg5nt92.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/57215795b8570f5c-s.2rixgazldzomk.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/03fc1b4a8d284b5e-s.p.0wiir8udbzjvx.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Sans Fallback;src:local(Arial);ascent-override:101.32%;descent-override:27.18%;line-gap-override:0.0%;size-adjust:101.17%}.ibm_plex_sans_9a68cbcf-module__IBmNwG__className{font-family:IBM Plex Sans,IBM Plex Sans Fallback;font-style:normal}.ibm_plex_sans_9a68cbcf-module__IBmNwG__variable{--font-sans:"IBM Plex Sans", "IBM Plex Sans Fallback"}
@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/e390973e931a41c5-s.0rgnxg2b64rzs.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/59b15b4bcd7b1eb5-s.2vemzm0itqzfy.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/e532fa1b9921e1cd-s.3cb5lpr2l6xud.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/2fe89d53234c61d4-s.1u30mmyq6lnsd.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../media/99e609270109b47d-s.p.40sczeszzbjw1.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/5e05ae5b48faa55e-s.1yd4_i3e35931.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/a7afbb44bec2bb18-s.1qc6dx89jd2qv.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/02263ebadd758ea4-s.29yke99gs9qpn.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/68757d6cddeff913-s.1i-sca43-qwng.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(../media/effe91970fc4db64-s.p.0oace-s_gkfks.woff2?dpl=dpl_9j6DS5oLdHGq1h9G9cZHTMof8wkf)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono Fallback;src:local(Arial);ascent-override:76.16%;descent-override:20.43%;line-gap-override:0.0%;size-adjust:134.59%}.ibm_plex_mono_727e2ca8-module__osbfja__className{font-family:IBM Plex Mono,IBM Plex Mono Fallback;font-style:normal}.ibm_plex_mono_727e2ca8-module__osbfja__variable{--font-mono:"IBM Plex Mono", "IBM Plex Mono Fallback"}
:root{--paper:#f2f5fb;--surface:#fbfcff;--ink:#171a1f;--muted:#576071;--rule:#d6dce8;--cobalt:#4256c7;--violet:#7457b8;--cyan:#178f91;--max-width:1160px;--content-width:760px}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:linear-gradient(90deg, #4256c709 1px, transparent 1px) 0 0 / 24px 24px, var(--paper);color:var(--ink);font-family:var(--font-body), Georgia, serif;text-rendering:optimizelegibility;margin:0;font-size:18px;line-height:1.62}a{color:inherit;text-underline-offset:.2em;text-decoration-thickness:1px}a:focus-visible,button:focus-visible{outline-offset:4px;border-radius:3px;outline:3px solid #178f9173}.shell{width:min(calc(100% - 40px), var(--max-width));margin:0 auto}.site-header{border-bottom:1px solid var(--rule);min-height:78px;font-family:var(--font-sans), sans-serif;justify-content:space-between;align-items:center;gap:24px;font-size:14px;display:flex}.wordmark{letter-spacing:-.01em;align-items:center;gap:11px;font-weight:600;text-decoration:none;display:inline-flex}.wordmark-mark{border:1px solid var(--cobalt);width:34px;height:34px;color:var(--cobalt);font-family:var(--font-mono), monospace;place-items:center;font-size:13px;display:grid}.site-header nav{gap:22px;display:flex}.site-header nav a{color:var(--muted);text-decoration:none}.site-header nav a:hover{color:var(--ink)}.site-header nav .repo-link{color:var(--cobalt);font-weight:500}.site-header nav .repo-link:hover{color:var(--ink)}.eyebrow,.paper-meta,.formal-label,.trace-index{color:var(--cobalt);font-family:var(--font-mono), monospace;letter-spacing:.08em;text-transform:uppercase;margin:0;font-size:12px;font-weight:500;line-height:1.4}.hero{grid-template-columns:minmax(0,1fr) 300px;align-items:end;gap:clamp(40px,8vw,100px);padding:clamp(72px,11vw,132px) 0 72px;display:grid}.hero h1,.paper-page h1,.not-found h1{letter-spacing:-.035em;max-width:870px;margin:20px 0 24px;font-size:clamp(2.15rem,4vw,3.2rem);font-weight:500;line-height:1.04}.hero-summary{color:#333a47;max-width:730px;margin:0;font-size:clamp(1.06rem,1.5vw,1.24rem);line-height:1.52}.hero-actions{flex-wrap:wrap;gap:12px;margin-top:32px;display:flex}.button{border:1px solid var(--ink);min-height:44px;font-family:var(--font-sans), sans-serif;justify-content:center;align-items:center;padding:10px 16px;font-size:14px;font-weight:500;line-height:1.2;text-decoration:none;transition:background-color .16s,color .16s,transform .16s;display:inline-flex}.button:hover{transform:translateY(-1px)}.button.primary{background:var(--ink);color:#fff}.button.primary:hover{background:var(--cobalt);border-color:var(--cobalt)}.button.secondary{background:0 0}.button.secondary:hover{background:var(--surface)}.hero-equation{border-left:3px solid var(--cobalt);font-family:var(--font-sans), sans-serif;padding:20px 0 16px 22px}.hero-equation p{color:var(--muted);margin:0;font-size:12px;line-height:1.45}.hero-equation div{font-family:var(--font-body), serif;align-items:baseline;gap:3px;margin:17px 0;font-size:34px;display:flex}.hero-equation sub{font-size:16px}.hero-equation strong{color:var(--cobalt);margin:0 7px;font-weight:500}.trace{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:240px minmax(0,1fr);gap:44px;padding:28px 0;display:grid}.trace-heading h2{margin:7px 0 0;font-size:21px;font-weight:500;line-height:1.15}.trace ol{grid-template-columns:repeat(4,1fr);margin:0;padding:0;list-style:none;display:grid}.trace li{border-left:1px solid var(--rule);min-width:0;padding:0 20px;position:relative}.trace-label,.trace-symbol{display:block}.trace-label{font-family:var(--font-sans), sans-serif;margin-top:12px;font-size:13px}.trace-symbol{color:var(--muted);white-space:nowrap;margin-top:5px;font-size:17px}.series-section{padding:112px 0 96px}.section-heading{grid-template-columns:minmax(260px,.8fr) minmax(320px,1.2fr);align-items:start;column-gap:72px;margin-bottom:48px;display:grid}.section-heading .eyebrow{grid-column:1/-1;margin-bottom:12px}.section-heading h2,.formal-section h2,.closing h2{letter-spacing:-.025em;margin:0;font-size:clamp(1.9rem,3vw,2.7rem);font-weight:500;line-height:1.1}.section-heading>p:last-child{max-width:560px;color:var(--muted);margin:4px 0 0}.paper-list{border-top:1px solid var(--rule)}.paper-card{border-bottom:1px solid var(--rule);grid-template-columns:86px 1fr;min-height:216px;display:grid}.paper-index{color:var(--cobalt);font-family:var(--font-mono), monospace;padding-top:30px;font-size:23px}.paper-copy{grid-template-columns:minmax(0,1fr) minmax(260px,.55fr);column-gap:50px;padding:30px 0;display:grid}.paper-meta{grid-column:1/-1;gap:16px;margin-bottom:13px;display:flex}.paper-meta span+span:before{content:"·";color:var(--rule);margin-right:16px}.paper-card h3{letter-spacing:-.018em;margin:0;font-size:clamp(1.35rem,2.2vw,1.8rem);font-weight:500;line-height:1.18}.paper-card h3 a{text-decoration:none}.paper-card h3 a:hover{color:var(--cobalt)}.paper-card p{color:var(--muted);margin:0;font-size:17px;line-height:1.5}.paper-card .text-link{grid-column:2;margin-top:20px}.text-link{color:var(--cobalt);font-family:var(--font-sans), sans-serif;font-size:14px;font-weight:500;text-decoration:none}.text-link:hover{text-decoration:underline}.formal-section{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:.8fr 1.2fr;gap:72px;padding:80px 0;display:grid}.formal-section h2{margin-top:12px}.formal-grid{grid-template-columns:1fr 1fr;gap:28px;display:grid}.formal-grid p{color:var(--muted);margin:9px 0 0;font-size:16px;line-height:1.52}.formal-equation{background:var(--ink);color:#fff;font-family:var(--font-mono), monospace;grid-column:1/-1;justify-content:space-between;align-items:center;gap:18px;margin-top:8px;padding:18px 20px;font-size:13px;display:flex}.formal-equation span:nth-child(2){color:#8cd6d0;font-size:19px}.closing{max-width:790px;padding:108px 0}.closing h2{margin-top:12px}.closing>p:not(.eyebrow){color:var(--muted);font-size:20px}footer{border-top:1px solid var(--rule);color:var(--muted);font-family:var(--font-sans), sans-serif;justify-content:space-between;gap:24px;padding:28px 0 44px;font-size:12px;display:flex}.paper-page{padding:76px 0 90px}.paper-page-header{grid-template-columns:90px minmax(0,1fr);display:grid}.paper-page-number{color:var(--cobalt);font-family:var(--font-mono), monospace;padding-top:3px;font-size:28px}.paper-page h1{max-width:920px;margin-top:16px}.paper-question{max-width:720px;color:var(--muted);margin:0;font-size:22px}.paper-page-body{border-top:1px solid var(--rule);grid-template-columns:1fr 1fr 240px;gap:48px;margin:88px 0 0 90px;padding-top:32px;display:grid}.paper-page-body section p:last-child{color:var(--muted);margin:12px 0 0;font-size:17px}.paper-equation{border-left:3px solid var(--violet);min-height:170px;font-family:var(--font-sans), sans-serif;color:var(--muted);background:#ffffff7a;flex-direction:column;justify-content:space-between;padding:18px;font-size:12px;display:flex}.paper-equation strong{color:var(--ink);font-family:var(--font-mono), monospace;font-size:29px;font-weight:500}.paper-pagination{border-top:1px solid var(--rule);grid-template-columns:1fr 1fr;display:grid}.paper-pagination a{flex-direction:column;justify-content:center;min-height:112px;padding:20px 0;font-size:18px;text-decoration:none;display:flex}.paper-pagination a:last-child{text-align:right;border-left:1px solid var(--rule);align-items:flex-end;padding-left:28px}.paper-pagination a:first-child{padding-right:28px}.paper-pagination a:hover{color:var(--cobalt)}.paper-pagination span{color:var(--muted);font-family:var(--font-mono), monospace;letter-spacing:.08em;text-transform:uppercase;font-size:11px}.not-found{width:min(100% - 40px,760px);margin:14vh auto 0}.not-found p{max-width:600px;color:var(--muted)}@media (max-width:860px){.hero{grid-template-columns:1fr;gap:42px}.hero-equation{max-width:420px}.trace{grid-template-columns:1fr;gap:24px}.trace ol{grid-template-columns:repeat(2,1fr);row-gap:28px}.section-heading,.formal-section{grid-template-columns:1fr;gap:28px}.section-heading>p:last-child{margin-top:20px}.paper-copy{grid-template-columns:1fr}.paper-card p{margin-top:16px}.paper-card .text-link{grid-column:1}.paper-page-body{grid-template-columns:1fr 1fr;margin-left:0}.paper-equation{grid-column:1/-1;min-height:130px}}@media (max-width:620px){body{font-size:17px}.shell{width:min(calc(100% - 28px), var(--max-width))}.site-header{min-height:68px}.wordmark span:last-child{display:none}.site-header nav{gap:15px;font-size:12px}.site-header nav a:nth-child(2){display:none}.hero{padding:62px 0 54px}.hero h1,.paper-page h1,.not-found h1{font-size:clamp(1.9rem,8.7vw,2.35rem);line-height:1.08}.hero-actions{flex-direction:column;align-items:stretch}.button{width:100%}.trace ol{grid-template-columns:1fr 1fr}.trace li{padding:0 12px}.trace li:nth-child(odd){border-left:0}.series-section{padding:80px 0 64px}.paper-card{grid-template-columns:52px minmax(0,1fr)}.paper-index{font-size:17px}.paper-copy{padding:26px 0}.paper-card h3{font-size:1.32rem}.formal-grid{grid-template-columns:1fr}.formal-equation{flex-direction:column;grid-column:1;align-items:flex-start}.closing{padding:80px 0}footer{flex-direction:column}.paper-page{padding:58px 0 72px}.paper-page-header{grid-template-columns:1fr}.paper-page-number{margin-bottom:22px}.paper-question{font-size:19px}.paper-page-body{grid-template-columns:1fr;gap:30px;margin-top:58px}.paper-equation{grid-column:1}.paper-pagination{grid-template-columns:1fr}.paper-pagination a:last-child{text-align:left;border-left:0;border-top:1px solid var(--rule);align-items:flex-start;padding-left:0}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important}}