:root{
    --bg:#fafbfc; --surface:#ffffff; --text:#191f26; --muted:#59636f;
    --faint:#8b95a1; --border:#e7ebef; --accent:#0e7a95; --accent-2:#0b6178;
    --chip-bg:#eef4f6; --sel:#cfe8ef; --award:#c0392b;
    --sans:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;
    --mono:"SF Mono","JetBrains Mono","Roboto Mono",ui-monospace,Menlo,Consolas,monospace;
    --maxw:1040px;
  }
  /* Default is always white/light; dark applies only via the toggle (data-theme="dark"). */
  :root[data-theme="light"]{
    --bg:#fafbfc; --surface:#ffffff; --text:#191f26; --muted:#59636f;
    --faint:#8b95a1; --border:#e7ebef; --accent:#0e7a95; --accent-2:#0b6178;
    --chip-bg:#eef4f6; --sel:#cfe8ef; --award:#c0392b;
  }
  :root[data-theme="dark"]{
    --bg:#0e1114; --surface:#151a1f; --text:#e4e9ee; --muted:#9aa5b1;
    --faint:#6b7682; --border:#232a31; --accent:#45b6d4; --accent-2:#62c4de;
    --chip-bg:#17232a; --sel:#123039; --award:#f08a80;
  }

  *{box-sizing:border-box}
  ::selection{background:var(--sel)}
  html{scroll-behavior:smooth}
  @media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}
  body{margin:0;background:var(--bg);color:var(--text);font-family:var(--sans);
       font-size:16px;line-height:1.6;-webkit-font-smoothing:antialiased;}

  .wrap{max-width:var(--maxw);margin:0 auto;padding:0 clamp(20px,5vw,56px);
        display:grid;grid-template-columns:236px 1fr;gap:clamp(28px,5vw,64px);
        align-items:start;}

  /* ---------- Sidebar ---------- */
  .side{position:sticky;top:0;align-self:start;padding:clamp(36px,6vh,64px) 0 40px;}
  .avatar{width:118px;height:118px;border-radius:50%;background:
      radial-gradient(120% 120% at 30% 20%,color-mix(in srgb,var(--accent) 26%,var(--surface)),var(--surface));
      border:1px solid var(--border);display:grid;place-items:center;
      font-family:var(--mono);font-size:2rem;font-weight:600;color:var(--accent);
      letter-spacing:.02em;margin-bottom:20px;overflow:hidden;}
  .avatar img{width:100%;height:100%;object-fit:cover;display:block}
  .name{font-size:1.5rem;font-weight:650;letter-spacing:-.01em;line-height:1.2;margin:0}
  .name .kr{color:var(--faint);font-weight:500;font-size:1rem;margin-left:.4em}
  .role{color:var(--muted);font-size:.92rem;margin:.5rem 0 0}
  .role a{color:var(--accent);text-decoration:none}
  .role a:hover{color:var(--accent-2)}
  .meta{color:var(--faint);font-size:.86rem;margin:.35rem 0 0}

  .links{list-style:none;padding:0;margin:20px 0 0;display:flex;flex-direction:column;gap:2px}
  .links a{display:flex;align-items:center;gap:9px;padding:5px 0;color:var(--muted);
           text-decoration:none;font-size:.88rem;transition:color .15s}
  .links a:hover{color:var(--accent)}
  .links svg{width:15px;height:15px;flex:0 0 auto;stroke:currentColor;fill:none;stroke-width:1.7}
  .links svg.solid{fill:currentColor;stroke:none}

  nav.toc{margin-top:26px;padding-top:22px;border-top:1px solid var(--border);
          display:flex;flex-direction:column;gap:1px}
  nav.toc a{font-family:var(--mono);font-size:.8rem;letter-spacing:.01em;
            color:var(--faint);text-decoration:none;padding:5px 0;transition:color .15s}
  nav.toc a:hover,nav.toc a.active{color:var(--accent)}

  .theme{margin-top:24px;background:none;border:1px solid var(--border);border-radius:7px;
         color:var(--muted);font-family:var(--mono);font-size:.72rem;letter-spacing:.05em;
         padding:6px 10px;cursor:pointer;display:inline-flex;align-items:center;gap:7px;transition:.15s}
  .theme:hover{border-color:var(--accent);color:var(--accent)}
  .theme svg{width:13px;height:13px;stroke:currentColor;fill:none;stroke-width:1.8}

  /* ---------- Content ---------- */
  main{padding:clamp(36px,6vh,64px) 0 80px;min-width:0}
  section{margin-bottom:46px;scroll-margin-top:28px}
  section:last-child{margin-bottom:24px}
  .eyebrow{font-family:var(--mono);font-size:.82rem;letter-spacing:.01em;font-weight:600;
           color:var(--accent);margin:0 0 16px;display:flex;align-items:center;gap:12px}
  .eyebrow::after{content:"";flex:1;height:1px;background:var(--border)}

  /* 64ch keeps prose readable; author lists and section notes opt out below. */
  p{margin:0 0 .9em;max-width:64ch}
  main a{color:var(--accent);text-decoration:none;border-bottom:1px solid transparent;transition:.15s}
  main a:hover{border-bottom-color:var(--accent)}
  strong{font-weight:650}

  /* News */
  .news{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:12px}
  .news li{display:grid;grid-template-columns:5.4rem 1fr;gap:14px;font-size:.93rem}
  .news .emoji{margin-right:.4em}
  .news time{font-family:var(--mono);font-size:.78rem;color:var(--faint);
             font-variant-numeric:tabular-nums;padding-top:.12rem;white-space:nowrap}
  .news .body{color:var(--text)}

  /* Publications */
  .pub{padding:15px 0;border-top:1px solid var(--border)}
  .pub:first-of-type{border-top:none;padding-top:2px}
  .pub h3{margin:0 0 4px;font-size:.96rem;font-weight:600;line-height:1.35}
  .pub .authors{color:var(--muted);font-size:.86rem;margin:0 0 4px;max-width:none}
  .pub .authors .me{color:var(--text);font-weight:650}
  .pub .venue{font-family:var(--mono);font-size:.76rem;color:var(--accent);
              letter-spacing:.02em;margin:0 0 7px}
  .pub .venue .award{color:var(--award);font-weight:600}
  .pub .plinks{display:flex;gap:14px;flex-wrap:wrap}
  .pub .plinks a{font-family:var(--mono);font-size:.72rem;letter-spacing:.03em;
                 color:var(--muted);border-bottom:none}
  .pub .plinks a:hover{color:var(--accent)}
  /* Sits under the section rule, pulled up against the .eyebrow's 16px gap. */
  .pubnote{text-align:right;color:var(--faint);font-size:.78rem;max-width:none;
           margin:-10px 0 12px}
  .placeholder{color:var(--faint);font-style:italic}

  /* Education / rows */
  .row{display:grid;grid-template-columns:1fr auto;gap:8px 16px;padding:11px 0;
       border-top:1px solid var(--border);align-items:baseline}
  .row:first-of-type{border-top:none}
  .row .inst{font-weight:600;font-size:.95rem}
  .row .sub{color:var(--muted);font-size:.86rem;grid-column:1/-1;margin-top:-2px}
  .row .when{font-family:var(--mono);font-size:.78rem;color:var(--faint);
             font-variant-numeric:tabular-nums;white-space:nowrap}

  .note{margin-top:8px;font-size:.8rem;color:var(--faint);background:var(--chip-bg);
        border:1px dashed var(--border);border-radius:8px;padding:9px 12px;max-width:64ch}

  footer{border-top:1px solid var(--border);padding-top:18px;margin-top:8px;
         font-family:var(--mono);font-size:.72rem;color:var(--faint);letter-spacing:.03em}

  a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:3px}

  @media (max-width:760px){
    .wrap{grid-template-columns:1fr;gap:8px}
    .side{position:static;padding-bottom:8px}
    nav.toc{flex-flow:row wrap;gap:4px 16px}
    main{padding-top:24px}
    .news li{grid-template-columns:1fr}
    .news time{padding-top:0}
  }

  /* ---------- "See all news" link under the preview list ---------- */
  .news-more{margin:16px 0 0;font-size:.86rem;color:var(--muted)}
  .news-more[hidden]{display:none}

  /* ---------- Standalone subpages (news.html) ---------- */
  .subpage{max-width:760px;margin:0 auto;
           padding:clamp(36px,6vh,64px) clamp(20px,5vw,56px) 80px}
  .subpage .topbar{display:flex;align-items:center;justify-content:space-between;
                   gap:16px;margin-bottom:22px}
  .subpage .theme{margin-top:0}
  .subpage .backlink{font-family:var(--mono);font-size:.78rem;letter-spacing:.02em;
                     color:var(--faint);text-decoration:none;border-bottom:none;transition:color .15s}
  .subpage .backlink:hover{color:var(--accent)}
  .subpage h1{font-size:1.45rem;font-weight:650;letter-spacing:-.01em;margin:0 0 26px}
  .subpage footer{margin-top:44px}

  /* ======================================================================
     Blog: index list (blog.html) and long-form posts (blog/*.html)
     Colour lives in figures and callouts only; prose and headings stay
     in --text, links keep the site accent.
     ====================================================================== */

  /* Tints are spelled out rather than built with color-mix(): older browsers
     drop an unsupported color-mix() fill back to black, which turns every
     figure box into a solid slab. */
  :root{
    --fig-face:#ffffff; --fig-soft:#f4f6f8; --fig-line:#9aa5b1;
    --fig-q:#1f6fb2; --fig-k:#2e8b57; --fig-v:#c77800;
    --fig-qt:#e2ecf5; --fig-kt:#e4f0e9; --fig-vt:#f7ebd9; --fig-at:#e4f1f3;
  }
  :root[data-theme="light"]{
    --fig-face:#ffffff; --fig-soft:#f4f6f8; --fig-line:#9aa5b1;
    --fig-q:#1f6fb2; --fig-k:#2e8b57; --fig-v:#c77800;
    --fig-qt:#e2ecf5; --fig-kt:#e4f0e9; --fig-vt:#f7ebd9; --fig-at:#e4f1f3;
  }
  :root[data-theme="dark"]{
    --fig-face:#151a1f; --fig-soft:#1b2228; --fig-line:#6b7682;
    --fig-q:#68a6dd; --fig-k:#5cc78c; --fig-v:#dfa640;
    --fig-qt:#22303d; --fig-kt:#203630; --fig-vt:#353024; --fig-at:#1d333c;
  }

  /* ---------- Post list ---------- */
  .postlist{list-style:none;margin:0;padding:0}
  .postlist li{padding:16px 0;border-top:1px solid var(--border)}
  .postlist li:first-child{border-top:none;padding-top:2px}
  .postlist h2{margin:0 0 5px;font-size:1.02rem;font-weight:650;line-height:1.35}
  .postlist h2 a{color:var(--text);border-bottom:1px solid transparent}
  .postlist h2 a:hover{color:var(--accent);border-bottom-color:var(--accent)}
  .postlist .when{font-family:var(--mono);font-size:.74rem;color:var(--faint);
                  letter-spacing:.03em;display:block;margin:0 0 5px}
  .postlist .dek{color:var(--muted);font-size:.9rem;margin:0;max-width:70ch}

  /* ---------- Post body ---------- */
  .post{max-width:820px}
  .post .lede{color:var(--muted);font-size:.95rem;max-width:70ch}
  .post .byline{font-family:var(--mono);font-size:.74rem;color:var(--faint);
                letter-spacing:.03em;margin:-14px 0 22px}
  .post .byline a{color:var(--faint)}
  .post .byline a:hover{color:var(--accent)}
  .post h2{font-size:1.12rem;font-weight:650;letter-spacing:-.005em;
           margin:44px 0 14px;padding-top:16px;border-top:1px solid var(--border)}
  .post h2 .num{font-family:var(--mono);font-size:.82rem;font-weight:600;
                color:var(--accent);margin-right:.55em;letter-spacing:.02em}
  .post h3{font-size:.98rem;font-weight:650;margin:26px 0 10px}
  .post p{max-width:70ch}
  .post ul,.post ol{max-width:70ch;padding-left:1.35em;margin:0 0 .95em}
  .post li{margin-bottom:5px}
  .post li>strong:first-child{font-weight:650}
  .post .tight li{margin-bottom:2px}

  /* Contents box */
  .post .toc-box{border:1px solid var(--border);border-radius:9px;
                 padding:14px 18px;margin:0 0 8px;background:var(--surface)}
  .post .toc-box p{font-family:var(--mono);font-size:.72rem;letter-spacing:.05em;
                   color:var(--faint);margin:0 0 8px;text-transform:uppercase}
  .post .toc-box ol{list-style:none;padding:0;margin:0;
                    columns:2;column-gap:26px;font-size:.88rem}
  .post .toc-box li{margin-bottom:3px;break-inside:avoid}
  .post .toc-box .n{font-family:var(--mono);font-size:.76rem;color:var(--faint);
                    margin-right:.5em}

  /* ---------- Figures ---------- */
  .post figure{margin:26px 0;padding:0}
  .post figure .canvas{overflow-x:auto;border:1px solid var(--border);border-radius:9px;
                       background:var(--fig-face);padding:16px 14px}
  .post figure svg{display:block;margin:0 auto;max-width:100%;height:auto;
                   color:var(--text);font-family:var(--sans)}
  .post figcaption{font-size:.82rem;color:var(--muted);margin-top:10px;max-width:70ch}
  .post figcaption b{color:var(--text);font-weight:650;font-family:var(--mono);
                     font-size:.76rem;letter-spacing:.02em;margin-right:.35em}

  /* ---------- Tables ---------- */
  .post .tablewrap{overflow-x:auto;margin:20px 0}
  .post table{border-collapse:collapse;font-size:.86rem;min-width:min(100%,420px)}
  .post th,.post td{padding:7px 14px 7px 0;text-align:left;vertical-align:top;
                    white-space:nowrap}
  /* NOT .wrap -- that is the site's top-level grid container class. */
  .post td.flow,.post th.flow{white-space:normal;min-width:16ch}
  .post thead th{font-weight:600;border-bottom:1px solid var(--text);
                 font-size:.8rem;letter-spacing:.01em}
  .post tbody tr{border-bottom:1px solid var(--border)}
  .post tbody tr:last-child{border-bottom:1px solid var(--text)}
  .post tbody tr.total td{font-weight:650}
  .post td.num,.post th.num{text-align:right;font-variant-numeric:tabular-nums;
                            padding-right:22px}
  .post td.note{color:var(--muted);font-size:.82rem}
  /* Tables use unicode + .m italics instead of MathJax: inline math in a
     nowrap-heavy table cell breaks the line box in ugly ways. */
  .post .m{font-style:italic}
  .post table caption{caption-side:bottom;text-align:left;font-size:.82rem;
                      color:var(--muted);padding-top:10px;max-width:70ch;white-space:normal}

  /* ---------- Callouts ---------- */
  .post .keybox{border-left:3px solid var(--accent);background:var(--chip-bg);
                border-radius:0 8px 8px 0;padding:13px 17px;margin:24px 0}
  .post .keybox .t{font-family:var(--mono);font-size:.72rem;letter-spacing:.04em;
                   color:var(--accent);font-weight:600;display:block;margin-bottom:6px;
                   text-transform:uppercase}
  .post .keybox p:last-child,.post .numbox p:last-child{margin-bottom:0}
  .post .numbox{border:1px solid var(--border);border-radius:9px;
                padding:14px 18px;margin:24px 0;background:var(--surface)}
  .post .numbox .t{font-size:.88rem;font-weight:650;display:block;margin-bottom:9px}
  .post .numbox .tablewrap{margin:0}
  .post .numbox table{font-size:.84rem}
  .post .numbox p{font-size:.84rem;color:var(--muted);margin:10px 0 0}

  /* ---------- Check exercises ---------- */
  .post .check{margin:20px 0;font-size:.92rem;max-width:70ch}
  .post .check .q{margin:0}
  .post .check .q b{font-family:var(--mono);font-size:.76rem;letter-spacing:.02em;
                    color:var(--accent);margin-right:.45em}
  .post .check .a{margin:5px 0 0;color:var(--muted);font-size:.86rem;
                  border-left:2px solid var(--border);padding-left:11px}

  /* ---------- Math ---------- */
  .post mjx-container[display="true"]{overflow-x:auto;overflow-y:hidden;
                                      padding:2px 0;margin:1.05em 0}
  .post mjx-container{color:var(--text)}

  .post .refs{font-size:.88rem}
  .post .refs li{margin-bottom:7px}

  @media (max-width:760px){
    .post .toc-box ol{columns:1}
    .post h2{margin-top:34px}
  }

  /* ---------- Inline-SVG figure primitives (shared by every post figure) ---------- */
  .post svg text{fill:currentColor;font-size:11px}
  .post svg .mid{text-anchor:middle}
  .post svg .end{text-anchor:end}
  .post svg .sm{font-size:9.5px;fill:var(--muted)}
  .post svg .xs{font-size:8.5px;fill:var(--faint)}
  .post svg .bd{font-weight:650}
  .post svg .ac{fill:var(--accent)}
  .post svg .qt{fill:var(--fig-q)}
  .post svg .kt{fill:var(--fig-k)}
  .post svg .vt{fill:var(--fig-v)}
  .post svg .st{fill:var(--fig-face);stroke:var(--fig-line);stroke-width:1}
  .post svg .sb{fill:var(--fig-soft);stroke:var(--fig-line);stroke-width:1}
  .post svg .qb{fill:var(--fig-qt);stroke:var(--fig-q);stroke-width:1}
  .post svg .kb{fill:var(--fig-kt);stroke:var(--fig-k);stroke-width:1}
  .post svg .vb{fill:var(--fig-vt);stroke:var(--fig-v);stroke-width:1}
  .post svg .ab{fill:var(--fig-at);stroke:var(--accent);stroke-width:1}
  .post svg .ln{fill:none;stroke:var(--fig-line);stroke-width:1}
  .post svg .lnf{fill:none;stroke:var(--fig-line);stroke-width:.7;opacity:.75}
  .post svg .lna{fill:none;stroke:var(--accent);stroke-width:1;stroke-dasharray:4 3}
  .post svg .dsh{fill:none;stroke:var(--border);stroke-width:1;stroke-dasharray:4 4}
  .post svg .mo{font-family:var(--mono);font-size:10px}
  .post svg .it{font-style:italic}
  .post svg .fnt{fill:var(--faint)}

  /* ---------- Full-screen figure overlay, opened from a caption link ---------- */
  .post .zoom{font-size:.82rem;display:inline-block;margin-top:7px}
  .post .zoom::after{content:" ↗";font-size:.9em}

  .lightbox{position:fixed;inset:0;z-index:60;display:none;--lbm:clamp(10px,2.4vw,40px)}
  .lightbox:target{display:block}
  .lightbox .scrim{position:absolute;inset:0;background:rgba(8,10,12,.62);
                   border-bottom:none;cursor:zoom-out}
  /* The sheet hugs the figure rather than filling the viewport: these diagrams are
     wide and short, so a full-height panel would be mostly empty. */
  .lightbox .sheet{position:absolute;left:var(--lbm);right:var(--lbm);top:50%;
                   transform:translateY(-50%);max-height:calc(100% - 2 * var(--lbm));
                   background:var(--surface);border:1px solid var(--border);border-radius:12px;
                   display:flex;flex-direction:column;overflow:hidden}
  .lightbox header{display:flex;align-items:baseline;justify-content:space-between;gap:18px;
                   padding:15px 20px 12px;border-bottom:1px solid var(--border)}
  .lightbox h2{margin:0;padding:0;border:none;font-size:.95rem;font-weight:650}
  .lightbox .close{font-family:var(--mono);font-size:.72rem;letter-spacing:.05em;
                   color:var(--muted);white-space:nowrap;border-bottom:none}
  .lightbox .close:hover{color:var(--accent)}
  .lightbox .pane{flex:1;overflow:auto;padding:20px;display:grid;place-items:center}
  .lightbox .figwrap svg{display:block;max-width:none;height:auto;
                         color:var(--text);font-family:var(--sans)}