@media(min-width:701px){html{font-size:93.75%}}.site-content-shell{box-sizing:border-box;width:100%;max-width:61.5rem;margin-right:auto;margin-left:auto;padding-right:1.5rem;padding-left:1.5rem}.home-biography{padding-top:4rem}.home-biography-grid{display:grid;grid-template-columns:minmax(0,1fr);gap:2.5rem}.home-biography-copy,.home-biography-media{min-width:0}.home-biography-title{margin:0;font-size:clamp(1.75rem,6.2vw,2.25rem);line-height:1.2}.home-biography-text{max-width:none;margin-top:1.5rem}.home-biography-avatar{display:block;width:100%;height:auto;aspect-ratio:1;border-radius:1rem;background:#f4f4f5;object-fit:cover}.dark .home-biography-avatar{background:#27272a}.home-biography-social{display:flex;justify-content:center;margin-top:1rem;font-size:2rem}@media(min-width:1024px){.home-biography-grid{grid-template-columns:minmax(0,1fr)23.25rem;gap:2.25rem;align-items:start}.home-biography-title{white-space:nowrap}}.competitive-programming-page{padding-bottom:2rem}.competitive-programming-page .prose{max-width:none}.competitive-programming-intro{padding-inline:5px}.competitive-programming-columns{display:grid;grid-template-columns:minmax(0,1fr);gap:2.5rem;margin-top:3rem}.competitive-programming-column{min-width:0}.competitive-programming-column>h2:first-child{margin-top:0;font-size:1.5rem;line-height:2rem}@media(min-width:1024px){.competitive-programming-columns{grid-template-columns:minmax(0,.48fr)minmax(0,.52fr);gap:0}.competitive-programming-column:first-child{padding-right:1rem}.competitive-programming-column+.competitive-programming-column{padding-left:1rem;border-left:1px solid #e2e8f0}.dark .competitive-programming-column+.competitive-programming-column{border-left-color:#334155}}.page-wrapper{grid-template-rows:auto auto 1fr}.page-footer>footer{margin-top:2rem}.page-body.my-10{margin-bottom:1rem}.page-body>.mx-auto.flex.max-w-screen-xl>article{min-height:0}.home-biography{padding-bottom:2rem}.home-research{margin-top:2rem;padding-bottom:2rem}.home-research-section+.home-research-section{margin-top:4rem}.home-research-section>.site-page-title{font-size:1.75rem;line-height:2.25rem}.home-news-content{max-width:none;margin-top:2rem;color:#52525b;font-size:1rem;line-height:1.75}.dark .home-news-content{color:#a1a1aa}.home-news-content ul{margin:0;padding-left:1.25rem;list-style:disc}.home-news-content li+li{margin-top:.5rem}.home-news-content a{color:#2563eb;text-decoration:none}.home-news-content a:hover{color:#1d4ed8}.dark .home-news-content a{color:#60a5fa}.dark .home-news-content a:hover{color:#93c5fd}.home-research-list{padding-bottom:0;width:100%;margin-top:2rem}.research-entry-stack{display:flex;flex-direction:column;width:100%}.research-entry{min-width:0}.research-entry+.research-entry{margin-top:1.5rem;padding-top:1.5rem;border-top:1px solid #e2e8f0}.dark .research-entry+.research-entry{border-top-color:#334155}.research-entry-card{box-sizing:border-box;width:100%}.research-entry-title{margin:0;color:#27272a;font-size:1.0625rem;font-weight:650;line-height:1.5;letter-spacing:-.01em}.dark .research-entry-title{color:#f4f4f5}.research-entry-title-link,.research-entry-summary a{color:#2563eb;text-decoration:none;transition:color 140ms ease}.research-entry-title-link:hover,.research-entry-summary a:hover{color:#1d4ed8;text-decoration:none}.dark .research-entry-title-link,.dark .research-entry-summary a{color:#60a5fa}.dark .research-entry-title-link:hover,.dark .research-entry-summary a:hover{color:#93c5fd}.research-entry-summary{margin-top:.625rem;color:#52525b;font-size:1rem;line-height:1.5rem}.dark .research-entry-summary{color:#a1a1aa}.research-entry-summary p{margin:0}.research-entry-summary p+p{margin-top:.3rem}.research-entry-links{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:1rem}.research-entry-link{display:inline-flex;min-height:2rem;align-items:center;justify-content:center;padding:.35rem .7rem;border:1px solid #bfdbfe;border-radius:.5rem;background:#fff;color:#2563eb;font-size:.8125rem;font-weight:650;line-height:1.25rem;text-decoration:none;transition:border-color 140ms ease,background-color 140ms ease,color 140ms ease}.research-entry-link:hover{border-color:#93c5fd;background:#eff6ff;color:#1d4ed8;text-decoration:none}.research-entry-link:focus-visible,.research-entry-title-link:focus-visible,.research-entry-summary a:focus-visible{border-radius:.25rem;outline:2px solid #2563eb;outline-offset:3px}.dark .research-entry-link{border-color:#1e40af;background:rgba(15,23,42,.55);color:#60a5fa}.dark .research-entry-link:hover{border-color:#2563eb;background:rgba(30,58,138,.25);color:#93c5fd}.research-entry-date{color:#a1a1aa;font-size:.875rem;font-variant-numeric:tabular-nums;line-height:1.25rem}.dark .research-entry-date{color:#71717a}.research-entry-date-mobile{display:block;margin-bottom:.5rem}.research-entry-date-desktop{display:none}.home-research-empty{width:100%;margin-top:2rem;color:#71717a;font-size:1rem;line-height:1.5rem}.dark .home-research-empty{border-color:#3f3f46;color:#a1a1aa}@media(min-width:640px){.home-research{margin-top:3rem}.page-footer>footer{margin-top:3rem}}@media(min-width:768px){.research-entry{display:grid;grid-template-columns:7.25rem minmax(0,1fr);column-gap:1.5rem;align-items:start}.research-entry-card{grid-column:2;grid-row:1}.research-entry-date-mobile{display:none}.research-entry-date-desktop{display:block;grid-column:1;grid-row:1;margin-top:.125rem}}.page-body .prose{font-size:1rem;line-height:1.75}.page-body .prose h1,.site-page-title,.page-body>.mx-auto.flex.max-w-screen-xl article main>h1.mt-2{font-size:2rem;font-weight:700;line-height:2.25rem}.site-page-title{margin-top:0}.page-body .prose h2{font-size:1.75rem;font-weight:700;line-height:2.25rem}.page-body .prose h3{font-size:1.5rem;font-weight:650;line-height:2rem}@media(min-width:640px){.page-body .prose h1,.site-page-title,.page-body>.mx-auto.flex.max-w-screen-xl article main>h1.mt-2{font-size:2.25rem;line-height:2.5rem}}@media(max-width:639px){.research-entry-link{min-height:2.25rem}}.theme-toggle:not([data-theme-mode])>svg{visibility:hidden}.theme-toggle[data-theme-mode]>[data-theme-icon]{display:none!important}.theme-toggle[data-theme-mode=light]>[data-theme-icon=light],.theme-toggle[data-theme-mode=dark]>[data-theme-icon=dark]{display:block!important}.theme-toggle[data-theme-mode=system]>[data-theme-icon=system]{display:inline-flex!important}.theme-mode-icon-system{width:24px;height:18px;align-items:flex-start;justify-content:center;color:currentColor;vertical-align:middle}.theme-mode-icon-system>span{position:relative;box-sizing:border-box;display:block;width:18px;height:12px;border:2px solid;border-radius:2px}.theme-mode-icon-system>span::before,.theme-mode-icon-system>span::after{position:absolute;left:50%;background:currentColor;content:'';transform:translateX(-50%)}.theme-mode-icon-system>span::before{bottom:-5px;width:2px;height:4px}.theme-mode-icon-system>span::after{bottom:-6px;width:9px;height:2px;border-radius:1px}.theme-selector-host{position:relative}.theme-selector-menu{position:absolute;z-index:60;top:calc(100% + .5rem);inset-inline-end:0;box-sizing:border-box;min-width:10.5rem;max-width:calc(100vw - 2rem);padding:.35rem;border:1px solid #e5e7eb;border-radius:.75rem;background:#fff;color:#111827;box-shadow:0 12px 30px rgba(15,23,42,.16)}.dark .theme-selector-menu{border-color:#374151;background:#111827;color:#f9fafb;box-shadow:0 12px 30px rgba(0,0,0,.35)}.theme-selector-option{display:grid;grid-template-columns:1.1rem minmax(0,1fr);column-gap:.55rem;width:100%;padding:.55rem .65rem;border:0;border-radius:.5rem;background:0 0;color:inherit;cursor:pointer;font-size:.82rem;line-height:1.2;text-align:start}.theme-selector-option span,.theme-selector-option small{grid-column:2}.theme-selector-option-icon{grid-column:1;grid-row:1/span 2;align-self:center;width:1rem;height:1rem;opacity:.62}.theme-selector-option[aria-checked=true]{background:#f3f4f6}.dark .theme-selector-option[aria-checked=true]{background:#1f2937}.theme-selector-option[aria-checked=true] .theme-selector-option-icon{opacity:1}.theme-selector-option span{font-weight:650}.theme-selector-option small{margin-top:.12rem;color:#6b7280;font-size:.68rem}.dark .theme-selector-option small{color:#9ca3af}.theme-selector-option:hover{background:#f3f4f6}.theme-selector-option:focus-visible{background:#f3f4f6;outline:2px solid #2563eb;outline-offset:-2px}.dark .theme-selector-option:hover{background:#1f2937}.dark .theme-selector-option:focus-visible{background:#1f2937;outline-color:#60a5fa}@media(max-width:700px){.site-content-shell{padding-right:1rem;padding-left:1rem}.home-biography{padding-top:2rem}}article .prose mjx-container[display=true]{max-width:100%;overflow-x:auto;overflow-y:hidden;padding-block:.2rem}.research-entry-summary mjx-container[display=true]{max-width:100%;overflow-x:auto;overflow-y:hidden;padding-block:.2rem}