:root{color-scheme:light;--ink: #1d1d1f;--graphite: #424245;--muted: #6e6e73;--paper: #f5f5f7;--paper-strong: #ffffff;--cream: #f5f5f7;--line: rgba(0, 0, 0, .11);--line-soft: rgba(0, 0, 0, .07);--theorem: #0071e3;--theorem-soft: #e8f2ff;--action: #0071e3;--action-strong: #005bb5;--action-soft: #e8f2ff;--science: #248a3d;--science-soft: #eaf7ed;--system: #6e6e73;--system-soft: #f0f0f2;--violet: #5856d6;--violet-soft: #eeeeff;--shadow: 0 12px 34px rgba(0, 0, 0, .055);--shadow-hover: 0 18px 46px rgba(0, 0, 0, .085);--font-display: "SF Pro Display", "Avenir Next", "Helvetica Neue", sans-serif;--font-body: "SF Pro Text", "Avenir Next", "Helvetica Neue", sans-serif;--font-mono: "SF Mono", "IBM Plex Mono", "Cascadia Code", monospace;--max-width: 1180px}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--font-body);font-size:16px;line-height:1.6}a{color:var(--theorem);text-decoration-thickness:1px;text-underline-offset:.18em}a:hover{color:var(--action-strong)}button,input,select{font:inherit}img{max-width:100%}:focus-visible{outline:3px solid rgba(0,113,227,.52);outline-offset:3px}.container{width:min(var(--max-width),calc(100% - 40px));margin:0 auto}.section{padding:clamp(64px,8vw,108px) 0}.section.compact{padding:clamp(48px,6vw,76px) 0}.eyebrow{color:var(--theorem);display:inline-flex;font-family:var(--font-mono);font-size:.76rem;font-weight:750;letter-spacing:0;text-transform:uppercase}h1,h2,h3{color:var(--ink);font-family:var(--font-display);font-weight:720;letter-spacing:0;line-height:1.04;margin:0}h1{font-size:clamp(3.2rem,7.5vw,6.6rem);max-width:980px}h2{font-size:clamp(2.1rem,4.4vw,4.8rem)}h3{font-size:clamp(1.25rem,2vw,1.75rem)}p{margin:0}.lead{color:var(--muted);font-size:clamp(1.08rem,1.8vw,1.32rem);line-height:1.58;max-width:760px}.muted{color:var(--muted)}.grid{display:grid;gap:22px}.grid.two{grid-template-columns:repeat(2,minmax(0,1fr))}.grid.three{grid-template-columns:repeat(3,minmax(0,1fr))}.surface{background:#ffffffdb;border:1px solid var(--line);border-radius:8px;box-shadow:var(--shadow)}.button-row{display:flex;flex-wrap:wrap;gap:10px}.button{align-items:center;background:var(--theorem);border:1px solid var(--theorem);border-radius:999px;color:#fff;display:inline-flex;font-weight:650;justify-content:center;min-height:44px;padding:10px 18px;text-decoration:none;transition:background .18s ease,border-color .18s ease,box-shadow .18s ease,color .18s ease,transform .18s ease}.button span[aria-hidden=true]{display:inline-block;margin-left:6px;transition:transform .18s ease}.button.secondary{background:#ffffffb8;border-color:var(--line);color:var(--theorem)}.button:hover{background:#0077ed;border-color:#0077ed;box-shadow:0 10px 24px #0071e32e;color:#fff;transform:translateY(-1px)}.button.secondary:hover{background:#fffffff0;border-color:#0071e347;color:var(--theorem);box-shadow:0 10px 24px #0000000e}.button:hover span[aria-hidden=true],.button:focus-visible span[aria-hidden=true]{transform:translate(3px)}.button:active{box-shadow:none;transform:translateY(1px) scale(.99)}.tag-list{display:flex;flex-wrap:wrap;gap:6px}.tag{background:#f5f5f7;border:1px solid var(--line-soft);border-radius:999px;color:var(--muted);display:inline-flex;font-family:var(--font-mono);font-size:.7rem;font-weight:650;padding:3px 8px}.band{background:#fff;border-bottom:1px solid var(--line);border-top:1px solid var(--line)}.page-head{background:linear-gradient(180deg,#fffffff5,#f5f5f7eb),radial-gradient(circle at 84% 20%,rgba(0,113,227,.08),transparent 28%);border-bottom:1px solid var(--line);padding:clamp(64px,9vw,112px) 0 clamp(44px,6vw,72px)}.page-head .lead{margin-top:20px}.anchor-offset{scroll-margin-top:88px}html.reveal-ready [data-reveal]{opacity:0;transform:translateY(18px);transition:opacity .62s cubic-bezier(.16,1,.3,1),transform .62s cubic-bezier(.16,1,.3,1);transition-delay:var(--reveal-delay, 0ms)}html.reveal-ready [data-reveal].is-visible{opacity:1;transform:translateY(0)}@media(max-width:860px){.container{width:min(var(--max-width),calc(100% - 32px))}.section{padding:58px 0}.grid.two,.grid.three{grid-template-columns:1fr}h1{font-size:clamp(2.75rem,15vw,4.7rem)}}@media(prefers-reduced-motion:reduce){html.reveal-ready [data-reveal]{opacity:1;transform:none}*,*:before,*:after{animation-duration:.001ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important;transition-duration:.001ms!important}}.site-header[data-astro-cid-3ef6ksr2]{backdrop-filter:saturate(180%) blur(22px);background:#fbfbfdc7;border-bottom:1px solid rgba(0,0,0,.08);position:sticky;top:0;z-index:50}.site-header[data-astro-cid-3ef6ksr2] .container[data-astro-cid-3ef6ksr2]{width:min(var(--max-width),calc(100% - 40px))}.header-inner[data-astro-cid-3ef6ksr2]{align-items:center;display:flex;gap:24px;justify-content:space-between;min-height:64px}.brand[data-astro-cid-3ef6ksr2]{align-items:center;color:var(--ink);display:inline-flex;gap:10px;min-width:0;text-decoration:none;transition:color .18s ease,transform .18s ease}.brand[data-astro-cid-3ef6ksr2]:hover,.brand[data-astro-cid-3ef6ksr2]:focus-visible{color:var(--theorem);transform:translate(1px)}.brand[data-astro-cid-3ef6ksr2]:active{transform:translate(0) translateY(1px)}.brand-mark[data-astro-cid-3ef6ksr2]{align-items:center;color:var(--ink);display:inline-flex;font-family:var(--font-display);font-size:1.38rem;font-weight:900;height:34px;justify-content:center;letter-spacing:0;line-height:1;position:relative;width:58px}.brand-mark[data-astro-cid-3ef6ksr2]:before{border-bottom:2px solid rgba(0,113,227,.72);border-left:2px solid rgba(0,113,227,.72);border-top:2px solid rgba(0,113,227,.72);content:"";height:18px;left:-2px;position:absolute;top:8px;width:8px}.brand-mark[data-astro-cid-3ef6ksr2]:after{background:var(--theorem);clip-path:polygon(50% 0,100% 100%,0 100%);content:"";height:7px;position:absolute;right:22px;top:8px;width:9px}.brand[data-astro-cid-3ef6ksr2] strong[data-astro-cid-3ef6ksr2],.brand[data-astro-cid-3ef6ksr2] small[data-astro-cid-3ef6ksr2]{display:block;line-height:1.1}.brand[data-astro-cid-3ef6ksr2] small[data-astro-cid-3ef6ksr2]{color:var(--muted);font-size:.74rem;margin-top:2px}.desktop-nav[data-astro-cid-3ef6ksr2]{align-items:center;display:flex;flex-wrap:nowrap;gap:2px clamp(20px,2vw,34px);justify-content:flex-end}.desktop-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2],.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]{color:var(--graphite);font-size:.82rem;font-weight:650;padding:8px 4px 7px;position:relative;text-decoration:none;transition:color .18s ease,transform .18s ease;white-space:nowrap}.desktop-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:hover,.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:hover{color:var(--ink)}.desktop-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:active,.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:active{transform:translateY(1px)}.desktop-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2].active,.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2].active{color:var(--ink)}.mobile-menu[data-astro-cid-3ef6ksr2]{display:none}.search-link[data-astro-cid-3ef6ksr2]{align-items:center;background:transparent;border:1px solid var(--line);border-radius:50%;display:inline-flex;height:34px;justify-content:center;margin-left:4px;padding:0;transition:background .18s ease,border-color .18s ease,box-shadow .18s ease,transform .18s ease;width:34px}.search-link[data-astro-cid-3ef6ksr2] svg[data-astro-cid-3ef6ksr2]{fill:none;height:19px;stroke:var(--ink);stroke-linecap:round;stroke-linejoin:round;stroke-width:2;transition:transform .18s ease;width:19px}.search-link[data-astro-cid-3ef6ksr2]:hover{background:#0071e314;border-color:#0071e338;box-shadow:none}.search-link[data-astro-cid-3ef6ksr2]:hover svg[data-astro-cid-3ef6ksr2],.search-link[data-astro-cid-3ef6ksr2]:focus-visible svg[data-astro-cid-3ef6ksr2]{transform:scale(1.07) rotate(-6deg)}.search-link[data-astro-cid-3ef6ksr2]:active{box-shadow:none;transform:translateY(1px) scale(.98)}@media(max-width:900px){.site-header[data-astro-cid-3ef6ksr2] .container[data-astro-cid-3ef6ksr2]{width:min(var(--max-width),calc(100% - 32px))}.header-inner[data-astro-cid-3ef6ksr2]{align-items:center;flex-direction:row;gap:16px;min-height:64px}.brand[data-astro-cid-3ef6ksr2]{min-width:0}.desktop-nav[data-astro-cid-3ef6ksr2]{gap:10px 16px;justify-content:flex-end;overflow-x:auto;padding-bottom:2px;scrollbar-width:none;width:auto}.desktop-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]{font-size:.82rem;white-space:nowrap}.desktop-nav[data-astro-cid-3ef6ksr2]::-webkit-scrollbar{display:none}.search-link[data-astro-cid-3ef6ksr2]{height:38px;flex:0 0 38px;width:38px}}@media(max-width:640px){.site-header[data-astro-cid-3ef6ksr2] .container[data-astro-cid-3ef6ksr2]{width:min(var(--max-width),calc(100% - 32px))}.header-inner[data-astro-cid-3ef6ksr2]{align-items:center;flex-direction:row;gap:12px;min-height:62px;padding:6px 0;position:relative}.brand[data-astro-cid-3ef6ksr2]{gap:8px}.brand-mark[data-astro-cid-3ef6ksr2]{font-size:1.24rem;height:32px;width:52px}.brand-mark[data-astro-cid-3ef6ksr2]:before{height:17px;top:7px}.brand-mark[data-astro-cid-3ef6ksr2]:after{right:20px;top:7px}.brand[data-astro-cid-3ef6ksr2] small[data-astro-cid-3ef6ksr2],.desktop-nav[data-astro-cid-3ef6ksr2]{display:none}.mobile-menu[data-astro-cid-3ef6ksr2]{display:block!important;margin-left:0;position:absolute;right:0;top:50%;transform:translateY(-50%);z-index:80}.mobile-menu[data-astro-cid-3ef6ksr2] summary[data-astro-cid-3ef6ksr2]{-webkit-appearance:none;align-items:center;appearance:none;background:#ffffffb8;border:1px solid var(--line);border-radius:8px;color:var(--ink);cursor:pointer;display:inline-flex;font-size:.84rem;font-weight:800;gap:7px;height:38px;list-style:none;padding:0 10px;position:relative;z-index:81}.mobile-menu[data-astro-cid-3ef6ksr2] summary[data-astro-cid-3ef6ksr2]::-webkit-details-marker{display:none}.mobile-menu[data-astro-cid-3ef6ksr2] summary[data-astro-cid-3ef6ksr2] svg[data-astro-cid-3ef6ksr2]{fill:none;height:18px;stroke:currentColor;stroke-linecap:round;stroke-width:2;width:18px}.mobile-nav[data-astro-cid-3ef6ksr2]{background:#fffffffa;border:1px solid var(--line);border-radius:8px;box-shadow:var(--shadow-hover);display:grid;gap:2px;min-width:190px;padding:8px;position:absolute;right:0;top:calc(100% + 8px);z-index:82}.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]{border-radius:7px;font-size:.9rem;padding:8px 10px}.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:hover,.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:focus-visible,.mobile-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2].active{background:var(--theorem-soft)}}.site-footer[data-astro-cid-sz7xmlte]{background:#fff;border-top:1px solid var(--line);color:var(--ink);padding:58px 0 30px}.footer-inner[data-astro-cid-sz7xmlte]{display:grid;gap:42px;grid-template-columns:minmax(300px,1.5fr) repeat(3,minmax(130px,.5fr))}.brand-lockup[data-astro-cid-sz7xmlte]{align-items:center;color:var(--ink);display:inline-flex;gap:10px;text-decoration:none}.brand-mark[data-astro-cid-sz7xmlte]{align-items:center;color:var(--ink);display:inline-flex;font-family:var(--font-display);font-size:1.38rem;font-weight:900;height:34px;justify-content:center;line-height:1;position:relative;width:58px}.brand-mark[data-astro-cid-sz7xmlte]:before{border-bottom:2px solid rgba(0,113,227,.72);border-left:2px solid rgba(0,113,227,.72);border-top:2px solid rgba(0,113,227,.72);content:"";height:18px;left:-2px;position:absolute;top:8px;width:8px}.brand-mark[data-astro-cid-sz7xmlte]:after{background:var(--theorem);clip-path:polygon(50% 0,100% 100%,0 100%);content:"";height:7px;position:absolute;right:22px;top:8px;width:9px}.brand-lockup[data-astro-cid-sz7xmlte] strong[data-astro-cid-sz7xmlte],.brand-lockup[data-astro-cid-sz7xmlte] small[data-astro-cid-sz7xmlte]{display:block;line-height:1.1}.brand-lockup[data-astro-cid-sz7xmlte] small[data-astro-cid-sz7xmlte]{color:var(--muted);font-size:.74rem;margin-top:2px}.site-footer[data-astro-cid-sz7xmlte] p[data-astro-cid-sz7xmlte]{color:var(--muted);line-height:1.55;margin-top:18px;max-width:520px}.affiliation[data-astro-cid-sz7xmlte]{color:var(--muted);display:block;font-family:var(--font-mono);font-size:.76rem;font-weight:700;margin-top:16px}.footer-column[data-astro-cid-sz7xmlte]{display:flex;flex-direction:column;gap:9px}.footer-column[data-astro-cid-sz7xmlte] h2[data-astro-cid-sz7xmlte]{color:var(--ink);font-family:var(--font-mono);font-size:.76rem;letter-spacing:0;margin:0 0 8px;text-transform:uppercase}.footer-column[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte],.footer-column[data-astro-cid-sz7xmlte] span[data-astro-cid-sz7xmlte],.footer-bottom[data-astro-cid-sz7xmlte],.footer-bottom[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]{color:var(--graphite);font-size:.94rem;text-decoration:none}.footer-column[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:hover,.footer-bottom[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:hover{color:var(--theorem)}.footer-bottom[data-astro-cid-sz7xmlte]{align-items:center;border-top:1px solid var(--line);display:flex;justify-content:space-between;margin-top:42px;padding-top:22px}.footer-bottom[data-astro-cid-sz7xmlte] div[data-astro-cid-sz7xmlte]{display:flex;gap:18px}@media(max-width:900px){.footer-inner[data-astro-cid-sz7xmlte]{grid-template-columns:repeat(2,minmax(0,1fr))}.footer-brand[data-astro-cid-sz7xmlte]{grid-column:1 / -1}}@media(max-width:620px){.footer-inner[data-astro-cid-sz7xmlte]{gap:30px;grid-template-columns:1fr}.footer-bottom[data-astro-cid-sz7xmlte]{align-items:flex-start;flex-direction:column;gap:12px}}.skip-link[data-astro-cid-37fxchfa]{background:var(--action);color:var(--ink);font-weight:800;left:16px;padding:8px 12px;position:fixed;top:12px;transform:translateY(-160%);z-index:100}.skip-link[data-astro-cid-37fxchfa]:focus{transform:translateY(0)}