@font-face{font-family:"Source Serif 4";src:url(/fonts/source-serif-4-latin-wght.woff2)format("woff2");font-style:normal;font-weight:200 900;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/fonts/ibm-plex-sans-400-normal.woff2)format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/fonts/ibm-plex-sans-600-normal.woff2)format("woff2");font-style:normal;font-weight:600;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/fonts/ibm-plex-sans-400-italic.woff2)format("woff2");font-style:italic;font-weight:400;font-display:swap}.pub{--pub-sans:"IBM Plex Sans", system-ui, -apple-system, "Segoe UI", Arial, sans-serif;--pub-serif:"Source Serif 4", Charter, "Iowan Old Style", Georgia, serif;--pub-bg:#fafaf8;--pub-card:#fff;--pub-line:#e3e3dc;--pub-line-strong:#b9b9b0;--pub-ink:#141414;--pub-muted:#5f6670;--pub-app:#0f766e;--pub-app-tint:#e3f3f0;--pub-dom:#6d28d9;--pub-dom-tint:#f1eafd;--pub-meth-tint:#ece9f8;--pub-meth-ink:#4338ca;--pub-radius:.5rem;--pub-max:70rem;--pub-gap:1.25rem;max-width:var(--pub-max);color:var(--pub-ink);font-family:var(--pub-sans);margin:0;font-size:.9375rem}[data-theme=dark] .pub{--pub-bg:#0f0f0e;--pub-card:#181817;--pub-line:#2c2c29;--pub-line-strong:#55554f;--pub-ink:#f2f2ee;--pub-muted:#9a9fa8;--pub-app:#5fc9bb;--pub-app-tint:#12312d;--pub-dom:#b79af5;--pub-dom-tint:#271d3f;--pub-meth-tint:#25233a;--pub-meth-ink:#b8b3f0}.pub-block{padding:0}.pub h1,.pub h2,.pub h3,.pub h4{font-family:var(--pub-serif);color:var(--pub-ink)}.pub button{font:inherit;color:inherit;cursor:pointer}.pub :is(button,input,a):focus-visible{outline:2px solid var(--focus);outline-offset:2px}.pub-sr{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.pub-hero{padding:3rem 0 2rem}.pub-hero h1{letter-spacing:-.01em;margin:0 0 .5rem;font-size:clamp(2.5rem,6vw,4rem);font-weight:600}.pub-hero p:not(.eyebrow){color:var(--pub-muted);margin:0;font-size:1.0625rem}.pub-block{margin-bottom:2rem}.pub-block-head{flex-wrap:wrap;align-items:baseline;gap:.25rem 1rem;margin-bottom:.75rem;display:flex}.pub-block-head h2{margin:0;font-size:1.25rem;font-weight:600}.pub-block-head p{color:var(--pub-muted);margin:0;font-size:.8125rem}.pub-cards{grid-template-columns:1fr;gap:.75rem;display:grid}.pub-app{--accent-c:var(--pub-app);--tint:var(--pub-app-tint)}.pub-dom{--accent-c:var(--pub-dom);--tint:var(--pub-dom-tint)}.pub-card{text-align:left;background:var(--pub-card);border:1px solid var(--pub-line);border-left:3px solid var(--accent-c);border-radius:var(--pub-radius);flex-direction:column;gap:.15rem;min-width:0;padding:.75rem 1rem;transition:background-color .15s,border-color .15s;display:flex}.pub-card strong{font-family:var(--pub-serif);overflow-wrap:anywhere;font-size:1rem;font-weight:700}.pub-card span{color:var(--pub-muted);font-size:.75rem}.pub-card:hover{border-color:var(--pub-line-strong);border-left-color:var(--accent-c);background:var(--tint)}.pub-card[aria-pressed=true]{background:var(--tint);border-color:var(--accent-c)}.pub-card[data-empty=true][aria-pressed=false]{opacity:.55}.pub-layout{gap:var(--pub-gap);border-top:1px solid var(--pub-line);grid-template-columns:minmax(0,1fr);padding-top:1rem;display:grid}.pub-side h2{margin:0 0 .75rem;font-size:1.125rem;font-weight:600}.pub-side ul{flex-direction:column;gap:.4rem;margin:0;padding:0;list-style:none;display:flex}.pub-filter-toggle{text-align:left;background:var(--pub-card);border:1px solid var(--pub-line);border-radius:var(--pub-radius);width:100%;padding:.6rem .9rem;font-weight:600}.pub-filter-toggle:after{content:"+";float:right}.pub-side.is-open .pub-filter-toggle:after{content:"–"}.pub-side-body{padding-top:.75rem;display:none}.pub-side.is-open .pub-side-body{display:block}.pub-chip{text-align:left;background:var(--pub-card);border:1px solid var(--pub-line);border-radius:999px;justify-content:space-between;align-items:center;gap:.5rem;width:100%;padding:.35rem .8rem;font-size:.8125rem;display:flex}.pub-chip span:last-child{color:var(--pub-muted);font-size:.75rem}.pub-chip:hover{border-color:var(--pub-line-strong)}.pub-chip[aria-pressed=true]{background:var(--pub-meth-tint);border-color:var(--pub-meth-ink)}.pub-search{display:block}.pub-search input{width:100%;font:inherit;color:var(--pub-ink);background:var(--pub-card);border:1px solid var(--pub-line);border-radius:var(--pub-radius);padding:.7rem .9rem}.pub-status{border-bottom:1px solid var(--pub-line);color:var(--pub-muted);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem 1rem;padding:.75rem 0;font-size:.875rem;display:flex}.pub-status p{margin:0}.pub-status strong{color:var(--pub-ink)}.pub-link{color:var(--pub-ink);text-underline-offset:.22em;background:0 0;border:0;padding:0;font-size:.875rem;text-decoration:underline}.pub-year{border-bottom:1px solid var(--pub-line);padding:1.25rem 0;display:block}.pub-year h3{color:var(--pub-muted);margin:0 0 .5rem;font-size:1.75rem;font-weight:300;line-height:1}.pub-year ol{flex-direction:column;gap:1.5rem;min-width:0;margin:0;padding:0;list-style:none;display:flex}.pub-item h4{margin:0 0 .25rem;font-size:1.1875rem;font-weight:700;line-height:1.3}.pub-item p{margin:.25rem 0 0}.pub-authors{color:var(--pub-muted);font-size:.8125rem}.pub-authors strong{color:var(--pub-ink)}.pub-meta{flex-wrap:wrap;align-items:baseline;gap:.25rem .6rem;display:flex}.pub-venue{overflow-wrap:anywhere;font-style:italic}.pub-venue a{color:inherit}.pub-badge{color:var(--pub-muted);border:1px solid var(--pub-line);border-radius:999px;padding:.05rem .45rem;font-size:.6875rem}.pub-abstract{color:var(--pub-muted);font-size:.875rem}.pub-soon{max-width:36rem;margin:0 auto;padding:2rem 0 4rem}.pub-soon .pub-links{justify-content:center}.pub-tags{flex-wrap:wrap;gap:.35rem;display:flex;margin-top:.5rem!important}.pub-tag{border-radius:999px;padding:.1rem .55rem;font-size:.75rem}.t-app{color:var(--pub-app);background:var(--pub-app-tint)}.t-dom{color:var(--pub-dom);border:1px solid var(--pub-dom)}.t-meth{color:var(--pub-meth-ink);background:var(--pub-meth-tint)}.pub-links{flex-wrap:wrap;gap:.25rem 1rem;font-size:.8125rem;display:flex}.pub-links a{color:var(--pub-ink)}.pub-empty{text-align:center;color:var(--pub-muted);padding:3rem 0}.pub-empty button{background:var(--pub-card);border:1px solid var(--pub-line-strong);border-radius:var(--pub-radius);padding:.5rem 1rem}@media (min-width:38rem){.pub-cards{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (min-width:48rem){.pub-year{grid-template-columns:5.5rem minmax(0,1fr);gap:1rem;display:grid}.pub-year h3{margin:0;font-size:2.25rem}}@media (min-width:64rem){.pub-cards{grid-template-columns:repeat(4,minmax(0,1fr))}.pub-layout{grid-template-columns:13.75rem minmax(0,1fr);gap:2rem}.pub-side{align-self:start;max-height:calc(100dvh - 2rem);margin:-3px;padding:3px;position:sticky;top:1rem;overflow-y:auto}.pub-filter-toggle{display:none}.pub-side-body{padding-top:0;display:block}}@media (prefers-reduced-motion:reduce){.pub-card{transition:none}}