/* MR Lab site stylesheet (replaces water.css). */

@font-face { font-family:"IBM Plex Sans"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-400-normal.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Sans"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-ext-400-normal.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family:"IBM Plex Sans"; font-style:italic; font-weight:400; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-400-italic.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Sans"; font-style:italic; font-weight:400; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-ext-400-italic.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family:"IBM Plex Sans"; font-style:normal; font-weight:500; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-500-normal.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Sans"; font-style:normal; font-weight:500; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-ext-500-normal.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family:"IBM Plex Sans"; font-style:normal; font-weight:600; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-600-normal.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Sans"; font-style:normal; font-weight:600; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-ext-600-normal.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family:"IBM Plex Sans"; font-style:italic; font-weight:600; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-600-italic.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Sans"; font-style:italic; font-weight:600; font-display:swap; src:url("../fonts/ibm-plex-sans-latin-ext-600-italic.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family:"IBM Plex Mono"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/ibm-plex-mono-latin-400-normal.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Mono"; font-style:normal; font-weight:400; font-display:swap; src:url("../fonts/ibm-plex-mono-latin-ext-400-normal.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family:"IBM Plex Mono"; font-style:normal; font-weight:500; font-display:swap; src:url("../fonts/ibm-plex-mono-latin-500-normal.woff2") format("woff2"); unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family:"IBM Plex Mono"; font-style:normal; font-weight:500; font-display:swap; src:url("../fonts/ibm-plex-mono-latin-ext-500-normal.woff2") format("woff2"); unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }

/* ---------- Tokens ---------- */
:root {
  --font-sans: "IBM Plex Sans", system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --font-mono: "IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;

  --bg: #ffffff;
  --bg-subtle: #f5f5f3;
  --text: #1c1d20;
  --text-muted: #5f646c;
  --border: #e3e3e0;
  --border-strong: #c9cac6;
  --link: #1f4a73;
  --link-hover: #12324f;
  --focus: #1f4a73;
  --highlight: #f4ecd9;

  --page-width: 1120px;
  --gutter: 24px;
  --header-height: 64px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #141518;
    --bg-subtle: #1b1d21;
    --text: #e4e4e1;
    --text-muted: #a0a5ad;
    --border: #2b2e33;
    --border-strong: #3d4148;
    --link: #9cbcdc;
    --link-hover: #c3d7ea;
    --focus: #9cbcdc;
    --highlight: #3a3426;
  }
}

/* ---------- Base ---------- */
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; scrollbar-gutter: stable; scroll-padding-top: calc(var(--header-height) + 12px); }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-sans);
  font-size: .9375rem;
  line-height: 1.55;
  font-kerning: normal;
  -webkit-font-smoothing: antialiased;
  display: flex; flex-direction: column; min-height: 100vh;
}
main { flex: 1 0 auto; }

h1, h2, h3, h4, h5, h6 { font-weight: 600; line-height: 1.25; margin: 1.75rem 0 .65rem; color: var(--text); }
h1 { font-size: 1.75rem; letter-spacing: -.015em; margin-top: 0; }
h2 { font-size: 1.3rem; letter-spacing: -.01em; }
h3 { font-size: 1.08rem; }
h4 { font-size: 1rem; }
h5, h6 { font-size: .9rem; }
p { margin: 0 0 1rem; }
ul, ol { margin: 0 0 1rem; padding-left: 1.4rem; }
li { margin-bottom: .25rem; }
li::marker { color: var(--text-muted); }
strong, b { font-weight: 600; }
small { font-size: .85em; }
hr { border: 0; border-top: 1px solid var(--border); margin: 2rem 0; }
img { max-width: 100%; height: auto; }
figure { margin: 0 0 1rem; }
figcaption { font-size: .85rem; color: var(--text-muted); }

a { color: var(--link); text-decoration: underline; text-decoration-thickness: 1px; text-underline-offset: .18em; text-decoration-color: color-mix(in srgb, var(--link) 35%, transparent); }
a:hover { color: var(--link-hover); text-decoration-color: currentColor; }
:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; }

code, kbd, pre, samp { font-family: var(--font-mono); font-size: .9em; }
pre { background: var(--bg-subtle); border: 1px solid var(--border); padding: .9rem 1rem; overflow-x: auto; border-radius: 4px; line-height: 1.45; }
:not(pre) > code { background: var(--bg-subtle); padding: .1em .3em; border-radius: 3px; }

table { border-collapse: collapse; width: 100%; margin: 0 0 1.25rem; font-size: .95rem; }
th, td { text-align: left; padding: .45rem .6rem; border-bottom: 1px solid var(--border); vertical-align: top; }
th { font-weight: 600; border-bottom-color: var(--border-strong); }

button, .btn {
  font: inherit; font-size: .85rem; line-height: 1.2;
  color: var(--text); background: var(--bg);
  border: 1px solid var(--border-strong); border-radius: 4px;
  padding: .3rem .65rem; cursor: pointer;
}
button:hover, .btn:hover { background: var(--bg-subtle); }

.sr-only, .visually-hidden { position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }
.skip-link { position: absolute; left: -999px; top: .5rem; z-index: 1000; padding: .5rem .9rem; background: var(--text); color: var(--bg); text-decoration: none; }
.skip-link:focus { left: 1rem; }
.text-muted { color: var(--text-muted); }
.text-center { text-align: center; }

/* ---------- Layout ---------- */
.container { width: 100%; max-width: var(--page-width); margin: 0 auto; padding: 0 var(--gutter); }
main.container { padding-top: 2rem; padding-bottom: 3.5rem; }
.prose > h2:first-child, .prose > h3:first-child { margin-top: 0; }

/* ---------- Header ---------- */
.site-header { position: sticky; top: 0; z-index: 100; background: var(--bg); border-bottom: 1px solid var(--border); }
.site-nav { display: flex; align-items: center; gap: 1.5rem; min-height: var(--header-height); }
.site-brand { display: inline-flex; align-items: center; color: var(--text); text-decoration: none; flex: 0 0 auto; padding: 6px 0; }
.site-brand svg { height: 42px; width: auto; display: block; }
.nav-toggle { position: absolute; opacity: 0; pointer-events: none; }
.nav-toggle-label { display: none; }
.nav-links { list-style: none; margin: 0 0 0 auto; padding: 0; display: flex; align-items: stretch; gap: .15rem; align-self: stretch; }
.nav-links li { margin: 0; display: flex; }
.nav-links a {
  display: flex; align-items: center;
  padding: 0 .65rem; font-size: .875rem; font-weight: 500;
  color: var(--text-muted); text-decoration: none;
  border-bottom: 2px solid transparent; margin-bottom: -1px;
}
.nav-links a:hover { color: var(--text); }
.nav-links a.active { color: var(--text); border-bottom-color: var(--text); }

@media (max-width: 880px) {
  :root { --header-height: 56px; }
  .site-nav { flex-wrap: wrap; gap: 0; }
  .site-brand svg { height: 36px; }
  .nav-toggle-label {
    display: inline-flex; align-items: center; gap: .45rem; margin-left: auto;
    font-size: .85rem; font-weight: 500; color: var(--text);
    border: 1px solid var(--border-strong); border-radius: 4px; padding: .35rem .6rem; cursor: pointer;
  }
  .nav-toggle-label .bars, .nav-toggle-label .bars::before, .nav-toggle-label .bars::after { display: block; width: 14px; height: 1.5px; background: currentColor; position: relative; }
  .nav-toggle-label .bars::before, .nav-toggle-label .bars::after { content: ""; position: absolute; left: 0; }
  .nav-toggle-label .bars::before { top: -4.5px; }
  .nav-toggle-label .bars::after { top: 4.5px; }
  .nav-toggle:focus-visible + .nav-toggle-label { outline: 2px solid var(--focus); outline-offset: 2px; }
  .nav-links { display: none; flex-basis: 100%; flex-direction: column; margin: 0; padding: .25rem 0 .75rem; align-self: auto; }
  .nav-toggle:checked ~ .nav-links { display: flex; }
  .nav-links a { padding: .6rem 0; border-bottom: 0; border-left: 2px solid transparent; padding-left: .75rem; margin: 0; }
  .nav-links a.active { border-left-color: var(--text); }
}

/* ---------- Footer ---------- */
.site-footer { border-top: 1px solid var(--border); background: var(--bg-subtle); font-size: .875rem; color: var(--text-muted); }
.footer-main { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 1.5rem 3rem; padding-top: 2.25rem; padding-bottom: 1.75rem; }
.footer-about { max-width: 30rem; }
.footer-about p { margin: 0 0 .4rem; }
.footer-about .footer-name { color: var(--text); font-weight: 600; }
.footer-links { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: .5rem 1.4rem; align-items: flex-start; }
.footer-links li { margin: 0; }
.footer-links a { color: var(--text-muted); }
.footer-links a:hover { color: var(--text); }
.footer-funding { border-top: 1px solid var(--border); padding: 1.5rem 0 2.25rem; }
.footer-logos { display: flex; flex-wrap: wrap; align-items: center; gap: 1.25rem 2.25rem; }
.footer-logo-link { display: inline-flex; align-items: center; }
.footer-logo-link img { height: 34px; width: auto; display: block; }
.footer-logo-link img.liu { height: 38px; }
@media (max-width: 560px) { .footer-logo-link img { height: 28px; } .footer-logo-link img.liu { height: 32px; } }

/* ---------- Home ---------- */
.home-intro { padding-bottom: 2rem; border-bottom: 1px solid var(--border); }
.home-photo { max-width: 720px; margin: 0 auto 1.75rem; text-align: center; }
.home-photo img { display: block; width: 100%; border-radius: 6px; }
.home-photo figcaption { margin-top: .5rem; }
.home-intro .lead { font-size: 1.05rem; line-height: 1.6; margin: 0; }

.home-section { padding-top: 2rem; }
.home-section > h2 { margin-top: 0; }
.news-list { list-style: none; margin: 0; padding: 0; }
.news-list li { display: grid; grid-template-columns: 7.5rem minmax(0, 1fr); gap: 1.25rem; padding: .7rem 0; margin: 0; border-top: 1px solid var(--border); }
.news-list li:first-child { border-top: 0; }
.news-date { font-family: var(--font-mono); font-size: .85rem; color: var(--text-muted); padding-top: .12rem; white-space: nowrap; }
.news-older { margin-top: .25rem; border-top: 1px solid var(--border); }
.news-older > summary { cursor: pointer; padding: .85rem 0; font-weight: 500; color: var(--link); list-style: none; }
.news-older > summary::-webkit-details-marker { display: none; }
.news-older > summary::before { content: "+"; display: inline-block; width: 1.1rem; font-family: var(--font-mono); }
.news-older[open] > summary::before { content: "\2212"; }
.news-older[open] > summary { border-bottom: 1px solid var(--border); }
@media (max-width: 560px) {
  .news-list li { grid-template-columns: 1fr; gap: .1rem; }
}

/* ---------- Generic content pieces ---------- */
.former-note { background: var(--bg-subtle); padding: .75rem 1rem; border-left: 3px solid var(--border-strong); margin: 0 0 1.5rem; font-size: .95rem; }
.alert { padding: .75rem 1rem; border: 1px solid var(--border-strong); background: var(--bg-subtle); }
.citation { white-space: normal; }
.references.hanging-indent > div, .hanging-indent p { padding-left: 1.5rem; text-indent: -1.5rem; }

/* Software page */
.software-github { display: inline-flex; align-items: center; gap: .75rem; }
.software-github img { height: 28px; width: auto; display: block; }
.soft-list li { margin-bottom: .35rem; }
.soft-list a { font-weight: 500; }

/* Awards and other dated lists */
.award-list li { margin-bottom: .5rem; }