:root {
  --ink:#30343a;
  --muted:#626b75;
  --accent:#315e87;
  --line:#dfe5e9;
  --wash:#f5f7f8;
  --sans:Inter,"Avenir Next",Avenir,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
}
* {
  box-sizing:border-box;
}
html {
  scroll-behavior:smooth;
  scroll-padding-top:24px;
}
body {
  margin:0;
  color:var(--ink);
  background:#fff;
  font:18px/1.7 var(--sans);
  -webkit-font-smoothing:antialiased;
}
a {
  color:var(--accent);
  text-underline-offset:4px;
}
a:hover {
  color:#152f48;
}
a:focus-visible,button:focus-visible,summary:focus-visible,[tabindex]:focus-visible {
  outline:3px solid #769dc0;
  outline-offset:5px;
}
img {
  display:block;
  max-width:100%;
  height:auto;
}
sup {
  font-size:.64em;
  line-height:0;
  vertical-align:super;
}
h1,h2,h3,p,figure {
  margin:0;
}
h1,h2,h3 {
  line-height:1.22;
  letter-spacing:-.035em;
}
h2 {
  font-size:34px;
  text-align:center;
  font-weight:650;
  margin-bottom:30px;
}
h3 {
  font-size:24px;
  margin:38px 0 16px;
  font-weight:620;
  letter-spacing:-.02em;
}
p+p {
  margin-top:20px;
}
.hero {
  padding:57px 24px 52px;
  text-align:center;
}
.hero-inner {
  max-width:1160px;
  margin:auto;
}
.wordmark {
  display:flex;
  align-items:center;
  justify-content:center;
  gap:12px;
  font-size:29px;
  font-weight:750;
  letter-spacing:-1px;
  margin-bottom:20px;
}
.mark {
  display:block;
  flex-shrink:0;
  width:42px;
  height:42px;
}
h1 {
  font-size:clamp(34px,4vw,49px);
  font-weight:700;
}
.subtitle {
  font-size:clamp(23px,2.7vw,34px);
  line-height:1.35;
  letter-spacing:-.025em;
  margin:13px 0 31px;
  color:#4b5158;
}
.authors {
  display:flex;
  justify-content:center;
  flex-wrap:wrap;
  gap:6px 19px;
  max-width:1010px;
  margin:auto;
  font-size:18px;
  line-height:1.9;
}
.authors span {
  white-space:nowrap;
}
.affiliations {
  display:flex;
  gap:26px;
  flex-wrap:wrap;
  justify-content:center;
  margin-top:19px;
  font-size:18px;
}
.contact-email {
  font-size:16px;
  margin-top:6px;
}
.author-notes {
  font-size:14px;
  color:var(--muted);
  margin-top:6px;
}
.resource-links {
  display:flex;
  gap:9px;
  justify-content:center;
  flex-wrap:wrap;
  margin-top:25px;
}
.pill {
  display:inline-flex;
  align-items:center;
  justify-content:center;
  gap:8px;
  border-radius:30px;
  padding:8px 20px;
  min-height:43px;
  background:#33373b;
  color:white;
  text-decoration:none;
  font-size:16px;
  line-height:1.5;
  transition:background .15s,transform .15s;
}
.pill:hover {
  background:var(--accent);
  color:white;
  transform:translateY(-1px);
}
.pill svg {
  width:18px;
  height:18px;
  fill:none;
  stroke:currentColor;
  stroke-width:1.5;
  stroke-linejoin:round;
}
.wide {
  max-width:1120px;
  margin-inline:auto;
}
.prose {
  max-width:890px;
  margin-inline:auto;
}
.teaser-section {
  background:var(--wash);
  padding:30px 24px 0;
}
.teaser img {
  border:1px solid #e1e6ea;
  border-radius:10px;
  background:white;
}
.teaser figcaption {
  text-align:center;
  margin:16px 0 24px;
  font-size:17px;
}
.highlights {
  display:grid;
  grid-template-columns:repeat(3,1fr);
  padding:0 0 32px;
}
.highlights div {
  text-align:center;
  padding:0 16px;
}
.highlights div+div {
  border-left:1px solid #d9e0e5;
}
.highlights strong {
  display:block;
  font-size:35px;
  letter-spacing:-.04em;
  color:var(--accent);
  line-height:1.4;
}
.highlights span {
  display:block;
  font-size:14px;
  color:var(--muted);
  line-height:1.5;
}
.section {
  padding:65px 24px;
}
.prose.section {
  max-width:938px;
}
.section.wide {
  max-width:1168px;
}
.section p {
  line-height:1.8;
}
.section figure {
  margin:32px 0;
}
.section figcaption {
  font-size:15px;
  color:var(--muted);
  line-height:1.7;
  margin-top:15px;
  text-align:center;
}
.band {
  background:var(--wash);
}
.lead {
  font-size:21px;
  text-align:center;
  max-width:860px;
  margin:0 auto 32px;
  color:#505963;
}
.figure-frame {
  padding:18px;
  background:white;
  border:1px solid var(--line);
  border-radius:8px;
}
.skip-link {
  position:absolute;
  left:12px;
  top:-80px;
  background:white;
  padding:12px;
  z-index:10;
}
.skip-link:focus {
  top:12px;
}
.section-nav {
  display:flex;
  gap:18px;
  justify-content:center;
  font-size:15px;
  margin-top:-13px;
  margin-bottom:30px;
}
.equation {
  padding:20px 10px;
  overflow-x:auto;
  text-align:center;
  margin:22px 0;
}
.steps {
  counter-reset:step;
  display:grid;
  grid-template-columns:repeat(3,1fr);
  gap:32px;
  margin:30px 0;
}
.step {
  border-top:2px solid #a9bccc;
  padding-top:18px;
}
.step h3 {
  font-size:20px;
  margin:0 0 10px;
}
.step p {
  font-size:16px;
  line-height:1.7;
}
.library {
  display:grid;
  grid-template-columns:repeat(3,1fr);
  align-items:start;
  gap:18px;
  margin:18px 0 26px;
}
.library-hint {
  text-align:center;
  color:var(--muted);
  font-size:14px;
  margin-top:22px;
}
.library-entry {
  border:1px solid var(--line);
  border-radius:8px;
  background:#fff;
  overflow:hidden;
  transition:border-color .22s ease, background .22s ease, box-shadow .22s ease;
}
.library-entry.is-open {
  border-color:#9ab4ca;
  background:#f8fbfd;
  box-shadow:0 4px 16px #315e870b;
}
.library-trigger {
  display:block;
  width:100%;
  padding:19px;
  border:0;
  background:transparent;
  color:var(--ink);
  font:inherit;
  text-align:left;
  cursor:pointer;
}
.library-trigger:focus-visible {
  outline-offset:-4px;
}
.library-title {
  display:block;
  font-size:17px;
  line-height:1.4;
  font-weight:650;
  margin-bottom:9px;
}
.library-short {
  display:block;
  font-size:16px;
  line-height:1.65;
  min-height:3.3em;
}
.library-label {
  display:flex;
  justify-content:space-between;
  align-items:center;
  font-size:14px;
  color:var(--accent);
  margin-top:13px;
}
.library-chevron {
  font-size:22px;
  line-height:1;
  transition:transform .22s ease;
}
.library-entry.is-open .library-chevron {
  transform:rotate(180deg);
}
.library-full {
  display:grid;
  grid-template-rows:0fr;
  opacity:0;
  transition:grid-template-rows .28s ease, opacity .22s ease;
}
.library-full > div {
  min-height:0;
  overflow:hidden;
}
.library-entry.is-open .library-full {
  grid-template-rows:1fr;
  opacity:1;
}
.library-full blockquote {
  margin:0 19px 20px;
  padding:16px 0 0;
  border-top:1px solid var(--line);
  font-size:16px;
  line-height:1.75;
}
.delta {
  display:block;
  font-size:14px;
  font-style:italic;
  font-weight:450;
}
.delta.improvement {
  color:#196a43;
}
.delta.decline {
  color:#a43d3d;
}
.objective-table tbody tr:nth-child(2n) > * {
  border-bottom:1px solid #b8c7d3;
}
.objective-table td {
  vertical-align:middle;
}
.table-wrap {
  overflow-x:auto;
  margin:26px 0;
  border-top:2px solid #3e4851;
  border-bottom:2px solid #3e4851;
  overscroll-behavior-x:contain;
}
table {
  border-collapse:collapse;
  width:100%;
  font-size:14px;
  line-height:1.55;
  font-variant-numeric:tabular-nums;
  text-align:right;
}
th,td {
  padding:12px 10px;
  border-bottom:1px solid var(--line);
  white-space:nowrap;
}
th {
  font-weight:600;
  color:#495664;
  background:#fafbfc;
}
th:first-child,td:first-child {
  text-align:left;
}
tbody tr:last-child>* {
  border-bottom:0;
}
tr.ours {
  background:#eaf1f6;
  font-weight:650;
}
.table-note {
  font-size:14px;
  color:var(--muted);
}
.fig-pair {
  display:grid;
  grid-template-columns:1fr 2fr;
  gap:28px;
  align-items:start;
}
.fig-pair figure {
  margin:28px 0 0;
}
.small-note {
  font-size:15px;
  color:var(--muted);
}
.pseudocode-details {
  background:#fff;
  border:1px solid var(--line);
  border-radius:8px;
  margin-bottom:20px;
}
.pseudocode-details summary {
  cursor:pointer;
  padding:16px 20px;
  font-size:18px;
  font-weight:600;
  line-height:1.5;
}
.pseudocode-details summary::marker {
  color:var(--accent);
}
.pseudocode-details[open] summary {
  border-bottom:1px solid var(--line);
  margin-bottom:20px;
}
.pseudocode-details .details-body {
  padding:0 20px 22px;
}
.algorithm {
  border-top:2px solid #343b42;
  border-bottom:2px solid #343b42;
  background:#fff;
  margin:28px 0 40px;
  padding:0 0 18px;
  font-family:Georgia,"Times New Roman",serif;
  font-size:16px;
  line-height:1.55;
}
.algorithm h3 {
  font-family:var(--sans);
  font-size:18px;
  letter-spacing:0;
  border-bottom:1px solid var(--line);
  margin:0;
  padding:15px 18px;
}
.algorithm-meta {
  padding:15px 18px;
  border-bottom:1px solid var(--line);
}
.algorithm-meta p {
  font-size:15px;
  line-height:1.65;
  margin-top:9px;
}
.algorithm-meta p:first-child {
  margin:0;
}
.algorithm-scroll {
  overflow-x:auto;
  padding:15px 0 0;
  overscroll-behavior-x:contain;
}
.algorithm-lines {
  list-style:none;
  counter-reset:line;
  margin:0;
  padding:0 18px 0 48px;
  min-width:820px;
}
.algorithm-lines li {
  counter-increment:line;
  position:relative;
  padding:4px 0 4px calc(var(--indent,0)*22px);
  line-height:1.55;
}
.algorithm-lines li:before {
  content:counter(line);
  position:absolute;
  left:-31px;
  top:6px;
  font:12px/1.6 var(--sans);
  color:#7e858c;
  text-align:right;
  width:20px;
}
.algorithm-lines .comment {
  color:#747a80;
  font-size:14px;
  margin-left:18px;
  font-family:var(--sans);
}
.katex {
  font-size:1.04em!important;
}
.algorithm .katex {
  font-size:1em!important;
}
.algorithm-lines .katex .base {
  white-space:nowrap;
}
.footer {
  border-top:1px solid var(--line);
  padding:26px 24px 32px;
  text-align:center;
  font-size:14px;
  color:var(--muted);
}
.footer a {
  text-decoration:none;
}
.animation-controls {
  display:flex;
  justify-content:center;
  margin-top:12px;
}
.animation-controls button {
  font:14px var(--sans);
  padding:7px 14px;
  border:1px solid #cad4dd;
  border-radius:20px;
  background:white;
  color:var(--muted);
  cursor:pointer;
}
.algorithm-links {
  display:flex;
  justify-content:center;
  gap:12px;
  flex-wrap:wrap;
  margin:24px 0;
}
.algorithm-links a {
  font-size:15px;
}
.katex-display {
  margin:0!important;
}
.katex-error {
  color:#9f2626;
}
@media(max-width:760px) {
  .hero {
    padding:35px 20px 36px;
  }
  h1 {
    font-size:35px;
  }
  .subtitle {
    font-size:24px;
  }
  .authors {
    font-size:16px;
    gap:5px 15px;
  }
  .affiliations {
    font-size:16px;
    gap:8px 18px;
  }
  .highlights {
    grid-template-columns:1fr;
    gap:22px;
    padding-bottom:28px;
  }
  .highlights div+div {
    border-left:0;
  }
  .highlights strong {
    font-size:32px;
  }
  .teaser-section {
    padding:20px 14px 0;
  }
  .teaser figcaption {
    font-size:15px;
  }
  .section {
    padding:45px 20px;
  }
  h2 {
    font-size:29px;
    margin-bottom:24px;
  }
  h3 {
    font-size:22px;
  }
  .lead {
    font-size:19px;
  }
  .steps {
    grid-template-columns:1fr;
    gap:18px;
  }
  .library {
    grid-template-columns:1fr;
    gap:14px;
  }
  .library-short {
    min-height:0;
  }
  .fig-pair {
    grid-template-columns:1fr;
  }
  .fig-pair figure:first-child {
    max-width:360px;
    margin-inline:auto;
  }
  .figure-frame {
    padding:8px;
  }
  .section p {
    font-size:17px;
  }
  .algorithm-meta p {
    font-size:15px;
  }
  .algorithm h3 {
    font-size:16px;
  }
  .section-nav {
    flex-wrap:wrap;
    gap:8px 16px;
  }
  .table-note,.section .small-note {
    font-size:14px;
  }
}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto;
  }
  * {
    transition:none!important;
  }
}
@media print {
  .resource-links,.animation-controls,.skip-link,.footer {
    display:none;
  }
  .hero {
    padding-top:10px;
  }
  .section {
    padding-block:24px;
  }
  .algorithm-scroll,.table-wrap {
    overflow:visible;
  }
  .algorithm-lines {
    min-width:0;
  }
  .band,.teaser-section {
    background:white;
  }
}
tr.ours th {
  background:inherit;
  color:inherit;
}