@font-face {
  font-family: "Site Plex";
  src: url("../fonts/blog/ibm-plex-sans-latin-400-normal.woff2") format("woff2");
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "Site Plex";
  src: url("../fonts/blog/ibm-plex-sans-latin-500-normal.woff2") format("woff2");
  font-weight: 500 800;
  font-display: swap;
}
:root {
  --site-bg: #fff;
  --site-ink: #202124;
  --site-muted: #666970;
  --site-link: #285ac4;
  --site-line: #e5e7ea;
  --site-hover: #f3f5f8;
  --site-font: "Site Plex", system-ui, sans-serif;
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --site-bg: #191a1c;
  --site-ink: #eeeeef;
  --site-muted: #a8abb2;
  --site-link: #9bbdff;
  --site-line: #36383d;
  --site-hover: #282a2f;
}
html { background: var(--site-bg) !important; }
body.site-page, body.blog-page {
  margin: 0;
  background: var(--site-bg) !important;
  color: var(--site-ink) !important;
  font: 17px/1.65 var(--site-font) !important;
  letter-spacing: 0;
}
body.site-page *, body.blog-page * { box-sizing: border-box; }
body.site-page :is(h1,h2,h3,h4,p,li,a,button,summary), body.blog-page :is(h1,h2,h3,h4,p,li,a,button,summary,figcaption) {
  font-family: var(--site-font) !important;
  letter-spacing: 0 !important;
}
body.site-page :is(h1,h2,h3,h4,strong,b) { color: var(--site-ink); }
body.site-page :is(p,li) { color: inherit; text-align: left !important; hyphens: none !important; }
body.site-page a, body.blog-page a { color: var(--site-link); text-underline-offset: 4px; }
body.site-page a:hover, body.blog-page a:hover { color: var(--site-link); text-decoration: underline; }
body.site-page a[target="_blank"]::after { content: none; }
:is(a,button,summary,input):focus-visible { outline: 2px solid var(--site-link); outline-offset: 4px; }
body.site-page .wrapper {
  width: min(860px, calc(100% - 48px)); max-width: none; margin: 0 auto; padding: 45px 0 0;
}
body.site-page .page-content { width: 100%; margin: 0; padding: 0; }
body.site-page .page-content > :first-child { margin-top: 0; }
body.site-page h1 { font-size: 32px; line-height: 1.25; font-weight: 500; }
body.site-page h2 { font-size: 23px; line-height: 1.4; font-weight: 500; }
body.site-page h3 { font-size: 19px; line-height: 1.4; font-weight: 500; border: 0; }
body.site-page .site-page-title { margin: 0 0 27px; }
body.site-page .footer, body.blog-page .site-footer {
  width: 100%; margin: 44px auto 0; padding: 20px 0 32px; border: 0; border-top: 1px solid var(--site-line);
  display: flex; justify-content: flex-end; gap: 14px; color: var(--site-muted); font: 13px/1.6 var(--site-font);
}
body.site-page .footer a { color: var(--site-muted); }
.site-skip { position: fixed; top: -80px; left: 16px; padding: 8px; background: var(--site-bg); z-index: 20; }
.site-skip:focus { top: 8px; }
.site-navigation { width: min(860px, calc(100% - 48px)); margin: 0 auto; }
.site-nav {
  display: flex; justify-content: space-between; align-items: center; gap: 20px;
  padding: 28px 0; font: 15px/1.4 var(--site-font); color: var(--site-ink);
}
.site-nav a { text-decoration: none; }
.site-navigation :is(a,button,summary) { font-family: var(--site-font) !important; font-weight: 400 !important; letter-spacing: 0 !important; }
.site-home, .site-search { display: grid; place-items: center; width: 28px; height: 32px; color: var(--site-muted) !important; flex-shrink: 0; }
.site-nav-links { display: flex; align-items: center; gap: 25px; }
.site-navigation .site-nav-links > a, .site-more summary, .site-navigation .site-home { color: var(--site-muted) !important; }
.site-nav [aria-current="page"] { color: var(--site-ink) !important; }
.site-icon {
  display: inline-block; width: 17px; height: 17px; flex-shrink: 0; background: currentColor;
  mask: var(--icon) center / contain no-repeat; -webkit-mask: var(--icon) center / contain no-repeat;
}
.site-theme {
  display: grid; place-items: center; width: 32px; height: 32px; padding: 0;
  border: 0; border-radius: 4px; color: var(--site-muted); background: transparent; cursor: pointer;
}
.site-theme:hover { background: var(--site-hover); }
.site-more { position: relative; font: inherit; }
.site-more summary { display: flex; align-items: center; gap: 5px; list-style: none; cursor: pointer; }
.site-more summary::-webkit-details-marker { display: none; }
.site-more summary .site-icon { width: 13px; height: 13px; }
.site-more-menu {
  position: absolute; right: 0; top: 36px; z-index: 20; width: 200px; padding: 6px;
  background: var(--site-bg); border: 1px solid var(--site-line); border-radius: 6px; box-shadow: 0 5px 20px #0000000d;
}
.site-more-menu a { display: block; padding: 8px 12px; color: var(--site-ink) !important; border-radius: 3px; }
.site-more-menu a:hover { background: var(--site-hover); }

.home-layout .intro { display: grid; grid-template-columns: minmax(0,1fr) 160px; gap: 36px; align-items: start; }
.home-layout h1 { margin: -5px 0 14px; font-size: 34px; }
.home-layout .intro p { margin: 0 0 16px; font-size: 17px; line-height: 1.65; }
.home-layout .advisor-name { white-space: nowrap; }
.home-layout .portrait { width: 160px; height: 186px; object-fit: cover; object-position: center top; border-radius: 4px; }
.home-layout .profile-links { display: flex; align-items: center; flex-wrap: wrap; gap: 9px 15px; margin-top: 19px; font-size: 15px; }
.home-layout .profile-links > a:first-child { margin-right: 5px; }
.home-layout .icon { display: inline-block; width: 16px; height: 16px; background: currentColor; mask: var(--icon) center / contain no-repeat; -webkit-mask: var(--icon) center / contain no-repeat; }
.home-layout .social { display: inline-flex; align-items: center; justify-content: center; min-width: 24px; height: 28px; color: var(--site-muted); }
.home-layout .cv { display: inline-flex; align-items: center; gap: 5px; color: var(--site-muted); }
.home-layout .home-office { color: var(--site-muted); font-size: 13px; margin: 7px 0 0; }
.home-layout .home-profile { min-width: 0; }
.home-layout .home-profile .profile-links { margin-top: 5px; gap: 5px 7px; font-size: 13px; }
.home-layout .home-profile .profile-links > a:first-child { flex-basis: 100%; margin-right: 0; }
.home-layout .home-profile .social { min-width: 20px; height: 24px; }
.home-layout .home-profile .cv { font-size: 12px; }
.home-layout .home-profile .home-office { font-size: 12px; margin-top: 10px; }
.home-layout section { margin-top: 40px; }
.home-layout .section-head { display: flex; justify-content: space-between; align-items: baseline; gap: 16px; margin-bottom: 5px; }
.home-layout h2 { margin: 0; font-size: 21px; }
.home-layout .section-head > a { font-size: 14px; white-space: nowrap; }
.home-layout .work-row { display: grid; grid-template-columns: minmax(0,1fr) 112px; gap: 28px; align-items: center; padding: 19px 0; border-bottom: 1px solid var(--site-line); }
.home-layout .work-row h3 { margin: 0 0 3px; font-size: 17px; line-height: 1.5; }
.home-layout .work-row h3 a { color: var(--site-ink); }
.home-layout .work-venue { color: var(--site-muted); font-size: 13px; font-weight: 400; margin-left: 14px; white-space: nowrap; }
.home-layout .work-row p { margin: 0; color: var(--site-muted); font-size: 15.5px; line-height: 1.55; }
.home-layout .work-links { display: flex; gap: 15px; margin-top: 6px; font-size: 14px; }
.home-layout .work-image { display: flex; align-items: center; justify-content: center; width: 112px; height: 78px; padding: 6px; background: #fff; border: 1px solid var(--site-line); border-radius: 4px; }
.home-layout .work-image img { width: 100%; height: 100%; object-fit: contain; }
.home-layout .news { padding: 0; list-style: none; margin: 16px 0 0; }
.home-layout .news li { display: grid; grid-template-columns: 88px minmax(0,1fr); gap: 16px; margin: 0 0 12px; font-size: 15px; line-height: 1.6; }
.home-layout .news li::before { content: none; }
.home-layout .news time { color: var(--site-muted); font-size: 14px; padding-top: 1px; }
.home-layout .support { color: var(--site-muted); font-size: 14px; margin-top: 32px; }

/* Keep the existing filters and data; give their lists a shared reading rhythm. */
body.site-page :is(.research-filters,.reading-tabs,.teaching-filters,.talk-filters) {
  gap: 5px 17px; padding-bottom: 12px; margin-bottom: 24px; border-color: var(--site-line);
}
body.site-page :is(.research-filter,.reading-tab,.teaching-filter,.talk-filter) {
  border: 0; border-bottom: 2px solid transparent; border-radius: 0; padding: 9px 0;
  background: transparent; color: var(--site-muted); font-size: 14px; line-height: 1.4;
}
body.site-page :is(.research-filter,.reading-tab,.teaching-filter,.talk-filter):is(:hover,.is-active) {
  color: var(--site-link); background: transparent; border-color: var(--site-link);
}
body.site-page :is(.research-note,.reading-intro,.teaching-school-note) { font-size: 15px; color: var(--site-muted); }
body.site-page .research-page .research-filters { gap: 2px 16px; margin-bottom: 9px; padding-bottom: 8px; border: 0; }
body.site-page .research-page .research-filter { font-size: 13px; padding: 7px 0; }
body.site-page .research-page .pub-row {
  grid-template-columns: 112px minmax(0,1fr); gap: 20px;
  padding: 18px 0; border: 0; align-items: start;
}
body.site-page .research-page .pub-visual { display: contents; }
body.site-page .research-page .pub-row > div:not(.pub-visual):not(.pub-meta) { grid-column: 2; grid-row: 1; min-width: 0; }
body.site-page .research-page .pub-thumbnail {
  grid-column: 1; grid-row: 1 / 3; width: 112px; aspect-ratio: 8 / 5;
  margin: 3px 0 0; padding: 3px; border: 0; border-radius: 0; background: #fff;
}
body.site-page .research-page .pub-thumbnail:hover { background: #fff; opacity: 0.85; }
body.site-page .research-page .pub-meta { grid-column: 2; grid-row: 2; margin-top: -16px; font-size: 12px; line-height: 1.6; color: var(--site-muted); }
body.site-page .pub-venue { color: var(--site-muted); font-weight: 400; }
body.site-page .pub-title { font-size: 17px; font-weight: 500; line-height: 1.45; color: var(--site-ink); margin-bottom: 4px; }
body.site-page .pub-authors { font-size: 14px; line-height: 1.6; color: var(--site-muted); margin: 0 0 5px; }
body.site-page .pub-authors strong { color: inherit; font-weight: 500; }
body.site-page .research-page .pub-tags { display: none; }
body.site-page .research-page .pub-links { gap: 5px 15px; margin: 0; }
body.site-page :is(.pub-links a,.talk-link,.reading-card a,.teaching-school-head a) {
  border: 0; background: transparent; padding: 0; border-radius: 0; font-size: 14px; line-height: 1.5; color: var(--site-link);
}
body.site-page :is(.pub-tag,.talk-meta span,.course-code,.teaching-pill) {
  border: 0; background: transparent; border-radius: 0; padding: 0; color: var(--site-muted); font-size: 12px; font-weight: 400; line-height: 1.5;
}
body.site-page :is(.pub-tags,.talk-meta) { gap: 12px; margin-top: 7px; }
body.site-page .reading-list { display: block; }
body.site-page .reading-card {
  display: grid; grid-template-columns: 105px minmax(0,1fr); gap: 4px 24px;
  padding: 20px 0; background: transparent; border: 0; border-bottom: 1px solid var(--site-line); border-radius: 0;
}
body.site-page .reading-card.is-hidden { display: none; }
body.site-page .reading-card:hover { background: transparent; }
body.site-page .reading-meta { grid-column: 1; grid-row: 1 / 4; color: var(--site-muted); font-size: 13px; line-height: 1.6; }
body.site-page .reading-card :is(h2,p,a) { grid-column: 2; }
body.site-page .reading-card h2 { font-size: 18px; font-weight: 500; line-height: 1.4; margin-bottom: 3px; }
body.site-page .reading-card p { font-size: 15px; color: var(--site-muted); margin-bottom: 5px; }
body.site-page .reading-card a { justify-self: start; }
body.site-page .talk-row { grid-template-columns: 65px minmax(0,1fr) auto; padding: 21px 0; gap: 20px; border-color: var(--site-line); }
body.site-page .talk-year { font-size: 14px; color: var(--site-muted); font-weight: 400; }
body.site-page .talk-main h3 { font-size: 18px; line-height: 1.4; font-weight: 500; }
body.site-page .talk-main p { font-size: 15px; color: var(--site-muted); }
body.site-page :is(.talk-block-head h2,.teaching-school-head h2) { font-size: 22px; font-weight: 500; line-height: 1.4; }
body.site-page .talk-block-head p { font-size: 13px; color: var(--site-muted); }
body.site-page .service-grid { gap: 0 24px; }
body.site-page .service-grid article { border: 0; border-bottom: 1px solid var(--site-line); padding: 14px 0; background: transparent; border-radius: 0; }
body.site-page .service-grid strong { font-size: 16px; font-weight: 500; }
body.site-page .service-grid span { font-size: 14px; color: var(--site-muted); }
body.site-page .course-row { padding: 15px 0; border-color: var(--site-line); gap: 16px; }
body.site-page .course-term { flex-basis: 90px; font-size: 13px; color: var(--site-muted); }
body.site-page .course-main { gap: 16px; }
body.site-page .course-code { flex: 0 0 66px; font-size: 13px; }
body.site-page .course-title { font-size: 16px; color: var(--site-ink); }
body.site-page .course-ta .course-title { font-weight: 500; }
body.site-page .ai4-page { width: 100%; margin: 0; padding: 0; }
body.site-page .ai4-grid { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); grid-auto-rows: 1fr; gap: 26px 24px; }
body.site-page .ai4-section-head { margin-bottom: 22px; }
body.site-page .ai4-section-head h2 { font-size: 21px; font-weight: 500; }
body.site-page .ai4-card {
  display: flex; flex-direction: column; align-items: stretch; gap: 0;
  padding: 0 0 22px; border: 0; border-bottom: 1px solid var(--site-line); border-radius: 0; background: transparent; box-shadow: none; transform: none;
}
body.site-page .ai4-card:hover { transform: none; background: transparent; box-shadow: none; }
body.site-page .ai4-media { width: 100%; height: auto; min-height: 0; aspect-ratio: 1; margin: 0 0 12px; border: 0; border-radius: 4px; overflow: hidden; background: transparent; }
body.site-page .ai4-media img { display: block; width: 100%; height: 100%; object-fit: cover !important; object-position: center top; transform: none !important; opacity: 1 !important; }
body.site-page .ai4-card-body { display: flex; flex-direction: column; flex: 1; padding: 0; min-height: 0; }
body.site-page .ai4-card h3 { color: var(--site-ink); font-size: 17px; font-weight: 500; line-height: 1.4; min-height: 2.8em; border: 0; margin: 0 0 8px; }
body.site-page .ai4-meta { color: var(--site-muted); font-size: 13px; }
body.site-page .news-page { width: 100%; margin: 0; padding: 0; }
body.site-page .news-hero { margin: 0 0 24px; padding: 0; border: 0; }
body.site-page .news-title { font-size: 28px; font-weight: 500; }
body.site-page .news-timeline { margin: 0; padding: 0; border: 0; }
body.site-page .news-event { display: grid; grid-template-columns: 100px minmax(0,1fr); gap: 23px; padding: 17px 0; margin: 0; border: 0; border-bottom: 1px solid var(--site-line); }
body.site-page .news-event::before { content: none; }
body.site-page .news-event time { font-size: 13px; font-weight: 400; color: var(--site-muted); }
body.site-page .news-event p { font-size: 16px; margin: 0; }

/* The essays retain their own diagrams, code and table styles. */
body.blog-page {
  --bg: var(--site-bg); --paper: var(--site-bg); --paper-soft: var(--site-hover);
  --ink: var(--site-ink); --muted: var(--site-muted); --soft: var(--site-muted); --line: var(--site-line);
  --accent: var(--site-link); --blue: var(--site-link); --blue2: var(--site-link);
  --article-bg: var(--site-bg); --article-ink: var(--site-ink); --article-muted: var(--site-muted);
  --article-soft: var(--site-muted); --article-line: var(--site-line); --article-accent: var(--site-link);
  --article-panel: var(--site-hover); --article-panel-2: var(--site-hover);
}
body.blog-page:not(.site-nav-ready)::before { content: ""; display: block; height: 88px; }
body.blog-page a { color: var(--site-link) !important; }
body.blog-page :is(h1,h2,h3,h4) { color: var(--site-ink) !important; font-weight: 500 !important; }
body.blog-page h1 { font-size: 32px !important; line-height: 1.3 !important; letter-spacing: 0 !important; }
body.blog-page h2 { font-size: 24px !important; line-height: 1.4 !important; }
body.blog-page h3 { font-size: 19px !important; }
body.blog-page :is(p,li) { font-size: 17px; line-height: 1.7; }
body.blog-page main :is(p,li) { color: var(--site-ink); }
body.blog-page :is(.lead,.dek,.subtitle) { font-size: 18px !important; line-height: 1.65 !important; }
body.blog-page > main, body.blog-page > main.page, body.blog-page > main.wrap {
  width: min(1080px, calc(100% - 48px)) !important; max-width: none !important;
  margin: 0 auto !important; padding: 42px 0 64px !important;
}
body.blog-page .layout, body.blog-page main.page {
  grid-template-columns: 175px minmax(0,780px) !important; gap: 40px !important;
}
body.blog-page :is(.toc,.concept-rail,.contents) { font-family: var(--site-font) !important; color: var(--site-muted) !important; font-size: 13px !important; }
body.blog-page :is(.toc,.concept-rail,.contents) a { color: var(--site-muted) !important; }
body.blog-page :is(.toc,.concept-rail,.contents) a:hover { color: var(--site-link) !important; }
body.blog-page .essay-header { max-width: 860px !important; padding: 42px 0 24px !important; }
body.blog-page.essay-single .essay-grid { width: min(860px,calc(100% - 48px)); max-width: none !important; padding: 0 0 48px !important; }
body.blog-page .site-bar, body.blog-page .topbar { display: none; }
body.blog-page .site-navigation a { font-size: 15px; }
body.blog-page .site-navigation .site-nav { margin: 0; }
body.blog-page .site-nav .site-more-menu { background: var(--site-bg); }
body.blog-page .site-nav-links { margin: 0; }
body.blog-page footer { background: transparent; color: var(--site-muted); border-color: var(--site-line); }
body.blog-page[data-theme="dark"] :is(p,li,figcaption,.byline,.small,.caption) { color: var(--site-muted) !important; }
body.blog-page[data-theme="dark"] :is(.card,.panel,.note,.callout,.calculation,.formula,.eq,.equation,.math-display) { background: var(--site-hover) !important; border-color: var(--site-line) !important; color: var(--site-ink) !important; box-shadow: none !important; }
body.blog-page[data-theme="dark"] :is(td,th) { color: var(--site-ink) !important; background: var(--site-hover) !important; border-color: var(--site-line) !important; }
body.blog-page pre { max-width: 100%; overflow-x: auto; }
body.blog-page table { display: block; max-width: 100%; overflow-x: auto; }
body.blog-page .operator-step { min-width: 0; max-width: 100%; border-radius: 4px; }
body.blog-page .mathbox { min-width: 0; max-width: 100%; overflow-x: auto; }
body.blog-page :not(pre) > code { overflow-wrap: anywhere; white-space: normal; }
body.blog-page img { max-width: 100%; }
body.blog-page figcaption { background: var(--site-bg) !important; color: var(--site-muted) !important; }
body.blog-page :is(.hero-figure,.card,.panel,.note,.callout,.codebox) { border-radius: 4px !important; box-shadow: none !important; }
body.blog-page[data-theme="dark"] :is(strong,b) { color: var(--site-ink) !important; }
body.blog-page[data-theme="dark"] :is(.operator-step,.formula-card,.warning) { background: var(--site-hover) !important; color: var(--site-ink) !important; border-color: var(--site-line) !important; }

@media(max-width:760px) {
  body.site-page .ai4-grid { grid-template-columns: repeat(2,minmax(0,1fr)); }
  body.site-page .research-page .pub-row { grid-template-columns: 96px minmax(0,1fr); column-gap: 18px; }
  body.site-page .research-page .pub-thumbnail { width: 96px; }
  body.site-page .talk-row { grid-template-columns: 48px minmax(0,1fr); gap: 8px 16px; }
  body.site-page .talk-link { grid-column: 2; justify-self: start; }
  body.site-page .course-term { flex-basis: 100%; }
  body.site-page .course-main { flex-wrap: wrap; gap: 5px 14px; }
  body.site-page .course-code { flex-basis: 70px; }
  body.site-page .news-event { grid-template-columns: 76px minmax(0,1fr); gap: 16px; }
  body.blog-page .layout, body.blog-page main.page { display: block !important; }
  body.blog-page :is(.toc,.concept-rail) { position: static !important; max-height: none !important; margin-bottom: 28px !important; }
}
@media(max-width:600px) {
  body.blog-page:not(.site-nav-ready)::before { height: 72px; }
  .home-layout .intro { grid-template-columns: minmax(0,1fr) 78px; gap: 15px 18px; }
  .home-layout .intro-copy { display: contents; }
  .home-layout .home-profile { display: contents; }
  .home-layout h1 { grid-column: 1; grid-row: 1; font-size: 28px; }
  .home-layout .portrait { grid-column: 2; grid-row: 1 / 3; width: 78px; height: 91px; }
  .home-layout .intro-copy p { grid-column: 1 / -1; margin-bottom: 0; }
  .home-layout .intro-copy p:first-of-type { margin-top: 8px; }
  .home-layout .profile-links > a:first-child { flex-basis: 100%; }
  .home-layout .home-profile .profile-links { grid-column: 1 / -1; font-size: 15px; margin-top: 0; }
  .home-layout .home-profile .home-office { grid-column: 1 / -1; font-size: 13px; margin: 4px 0 0; }
  .home-layout .work-row { grid-template-columns: minmax(0,1fr) 84px; gap: 15px; }
  .home-layout .work-image { width: 84px; height: 67px; padding: 4px; }
  .home-layout .work-venue { display: block; margin-left: 0; }
  .home-layout .news li { grid-template-columns: 66px minmax(0,1fr); gap: 12px; }
  .site-navigation, body.site-page .wrapper { width: calc(100% - 40px); }
  .site-nav { padding: 20px 0; gap: 12px; font-size: 14px; }
  .site-nav-links { gap: 0; flex: 1; min-width: 0; max-width: 310px; justify-content: space-between; }
  .site-navigation :is(a,summary,button) { font-size: 14px !important; }
  .site-home, .site-search, .site-theme { width: 24px; }
  body.site-page .wrapper { padding-top: 24px; }
  body.site-page .reading-card { display: block; }
  body.site-page .reading-meta { margin-bottom: 7px; }
  body.site-page .reading-card h2 { margin-bottom: 6px; }
  body.site-page .research-page .pub-row { grid-template-columns: minmax(0,1fr) 68px; column-gap: 13px; }
  body.site-page .research-page .pub-row > div:not(.pub-visual):not(.pub-meta),
  body.site-page .research-page .pub-meta { grid-column: 1; }
  body.site-page .research-page .pub-thumbnail { grid-column: 2; grid-row: 1 / 3; width: 68px; margin-top: 4px; }
  body.site-page .ai4-grid { grid-template-columns: minmax(0,1fr); }
  body.site-page .ai4-card h3 { font-size: 18px; }
  body.site-page .course-title { flex-basis: 100%; }
  body.blog-page > main, body.blog-page > main.page, body.blog-page > main.wrap { width: calc(100% - 40px) !important; padding-top: 28px !important; }
  body.blog-page .essay-header { width: calc(100% - 40px); padding-top: 28px !important; }
  body.blog-page h1 { font-size: 28px !important; }
}
@media(max-width:360px) {
  .site-nav { font-size: 13px; gap: 9px; }
  .site-nav-links { gap: 0; }
  .site-home, .site-search, .site-theme { width: 23px; }
}
@media(prefers-reduced-motion:reduce) { .site-page *, .blog-page * { scroll-behavior: auto !important; transition: none !important; } }