body{font:16px / 1.6 "PT Sans",system-ui,sans-serif;font-size:calc(0.8rem + 0.2vw);background:light-dark(#fff, #212430);color:light-dark(#0d0d12, #fff)}p{text-align:justify}a{color:light-dark(#46f, #38f);transition:.25s;box-shadow:0 2px transparent;text-decoration-color:transparent}header a,footer a,nav a{font-weight:bold}header a,footer a,nav a:not(:hover){color:inherit}article a:hover{text-decoration-color:inherit}body>header a:hover,body>footer a:hover{box-shadow:0 2px}hr{border:1px solid #848796;margin:2em 0}blockquote{background:rgba(132,135,150,0.12);color:light-dark(#555, #eee);border-left:3px solid rgba(132,135,150,0.6);padding:1px 1.5em}blockquote,figure{margin:1.25em 0}img{margin:.5em 0;border-radius:4px;max-width:100%}li{margin:.3em 0}table{display:inline-block;max-width:100%;overflow-y:auto;border-collapse:collapse;border-radius:2px}th,td{padding:.5em 1em;border:1px solid rgba(132,135,150,0.24)}thead,tr:hover{background:rgba(132,135,150,0.12)}pre{font-size:.8em;background:#2e3142;color:#fff;border-radius:5px;margin:1.5em 0;padding:.8em 1.2em;overflow-x:auto}code:not(pre code){font-size:.9em;background:rgba(132,135,150,0.22);border-radius:3px;margin:0 .1em;padding:.2em .4em;opacity:.75}header time,nav time{color:#848796}body{display:flex;flex-direction:column;min-height:100vh;margin:0;box-sizing:border-box;-webkit-text-size-adjust:100%}body>header,body>footer{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center}header a,footer a{display:inline-block}footer a{margin:.75em 0}nav{margin:.5em -1.3em}nav a{margin:0 1.3em}nav svg{font-size:1.1em;vertical-align:sub}main nav{font-size:1.1em;margin:1.4em 0}main nav div{margin:.5em 0}header h1{font-size:1.75em;margin:0}body>header h1{font-size:1.35em}article,main{flex-grow:1}.nowrap{flex-wrap:nowrap}.smooth{-webkit-font-smoothing:antialiased}.full{font-size:1.5em;width:100%;margin:.1em 0 .7em}.hover nav:has(svg) a:hover{color:#848796;box-shadow:none}.button a,.dark a{font-weight:inherit;border-radius:5px}.button a{background:#46f;color:#fff;padding:.25em 1em}.button a:hover{background:#34384b;text-decoration-color:rgba(132,135,150,0)}.dark a{background:light-dark(rgba(132,135,150,0.22), rgba(132,135,150,0));margin:0;padding:.4em .8em}.dark a:hover{background:#fff;color:#000;box-shadow:none}.katex-display{overflow:auto hidden}.rouge-table pre,.rouge-table tr,.rouge-table td,.gist pre,.gist tr,.gist td{background:inherit !important;font-size:inherit;color:inherit;border:none;margin:0 1.5em 0 0;padding:0}.highlight .w{color:#c9d1d9;background:#161b22}.highlight .k,.highlight .kd,.highlight .kn,.highlight .kp,.highlight .kr,.highlight .kt,.highlight .kv{color:#ff7b72}.highlight .gr{color:#f0f6fc}.highlight .gd{color:#ffdcd7;background:#67060c}.highlight .nb,.highlight .nc,.highlight .no,.highlight .nn{color:#ffa657}.highlight .sr,.highlight .na,.highlight .nt{color:#7ee787}.highlight .gi{color:#aff5b4;background:#033a16}.highlight .kc,.highlight .l,.highlight .ld,.highlight .m,.highlight .mb,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .il,.highlight .mo,.highlight .mx,.highlight .sb,.highlight .bp,.highlight .ne,.highlight .nl,.highlight .py,.highlight .nv,.highlight .vc,.highlight .vg,.highlight .vi,.highlight .vm,.highlight .o,.highlight .ow{color:#79c0ff}.highlight .gh,.highlight .gu{color:#1f6feb;font-weight:bold}.highlight .s,.highlight .sa,.highlight .sc,.highlight .dl,.highlight .sd,.highlight .s2,.highlight .se,.highlight .sh,.highlight .sx,.highlight .s1,.highlight .ss{color:#a5d6ff}.highlight .nd,.highlight .nf,.highlight .fm{color:#d2a8ff}.highlight .err{color:#f0f6fc;background-color:#8e1519}.highlight .c,.highlight .ch,.highlight .cd,.highlight .cm,.highlight .cp,.highlight .cpf,.highlight .c1,.highlight .cs,.highlight .gl,.highlight .gt{color:#8b949e}.highlight .ni,.highlight .si{color:#c9d1d9}.highlight .ge{color:#c9d1d9;font-style:italic}.highlight .gs{color:#c9d1d9;font-weight:bold}body>*{padding:1.75em calc(42% - 16rem);padding:clamp(1.5em, 4vw, 1.75em) max(1.5em, calc(42% - 16rem));box-shadow:0 1px rgba(132,135,150,0.12),0 1em 2em -1em rgba(33,36,48,0.05)}html{scroll-behavior:smooth}body{color:#172033;background:#fbfcfe}a{color:#174ea6;text-underline-offset:.18em}body>header{position:sticky;top:0;z-index:10;background:rgba(251,252,254,0.94);backdrop-filter:blur(12px)}body>article{max-width:72rem;margin:auto;padding-top:0}body>article>header{display:none}.hero{padding:clamp(5rem, 12vw, 9rem) 0 clamp(4rem, 9vw, 7rem);border-bottom:1px solid #dfe4ec}.eyebrow,.section-label,.project-kicker{color:#165dff;font-weight:700;letter-spacing:.08em;text-transform:uppercase;font-size:.78rem}.hero h1{max-width:15ch;margin:.35em 0;font-size:clamp(2.5rem, 7vw, 5.25rem);line-height:1.02;letter-spacing:-0.045em}.lede{max-width:48rem;color:#5d6677;font-size:clamp(1.08rem, 2vw, 1.35rem);line-height:1.7}.actions,.contact-list{display:flex;flex-wrap:wrap;gap:.75rem;align-items:center}.actions{margin-top:2rem}.button{display:inline-flex;min-height:2.75rem;align-items:center;padding:0 1.1rem;border:1px solid #dfe4ec;border-radius:.5rem;color:#172033;font-weight:700;text-decoration:none}.button.primary{color:#fff;background:#165dff;border-color:#165dff}.contact-list{margin:2rem 0 0;padding:0;list-style:none}.content-section{padding:clamp(3.5rem, 8vw, 6.5rem) 0;border-bottom:1px solid #dfe4ec}.content-section>h2,.content-section>div>h2{font-size:clamp(1.75rem, 4vw, 2.75rem);letter-spacing:-0.025em}.content-section>p:not(.section-label){max-width:52rem;color:#5d6677;font-size:1.1rem;line-height:1.8}.publication-list article{display:grid;grid-template-columns:4rem 1fr;gap:1.25rem;padding:1.75rem 0;border-top:1px solid #dfe4ec}.publication-list h3,.project-grid h3{margin:0 0 .55rem;line-height:1.35}.publication-list p,.project-grid p,.two-column p{color:#5d6677}.year{color:#5d6677;font-variant-numeric:tabular-nums}.project-grid{display:grid;grid-template-columns:repeat(3, minmax(0, 1fr));gap:1rem}.project-grid article{padding:1.5rem;border:1px solid #dfe4ec;border-radius:.75rem;background:#fff}.two-column{display:grid;grid-template-columns:1.2fr .8fr;gap:clamp(2rem, 7vw, 6rem)}.two-column h3{margin-bottom:.25rem}.closing{border-bottom:0}a:focus-visible{outline:3px solid rgba(22,93,255,0.35);outline-offset:4px;border-radius:.15rem}@media (max-width: 46rem){.project-grid,.two-column{grid-template-columns:1fr}.publication-list article{grid-template-columns:1fr;gap:.5rem}body>header nav{overflow-x:auto;white-space:nowrap}}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}body>footer{border-top:1px solid #dfe4ec;opacity:.9}