/* Plain academic page: one reading column, Trebuchet MS (as on haoranluo.net), blue accents. */
:root {
  --bg: #ffffff;
  --alt: #f5f8fc;
  --ink: #1f2a37;
  --ink-2: #4a5663;
  --line: #dbe3ee;
  --blue: #1f5fbf;
  --blue-dark: #17468c;
  --blue-soft: #eaf1fb;
  --navy: #22346b;
  --navy-soft: #edf0f8;
  --bad: #b3412e;
  --bad-soft: #fbece9;

  --f-body: "Trebuchet MS", Helvetica, sans-serif;
  --f-mono: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;

  --radius: 6px;
  --header-h: 56px;
  --col: 1040px;
  color-scheme: light;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--header-h) + 12px); }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--f-body);
  font-size: 17px;
  line-height: 1.65;
  overflow-x: hidden;
}
img { display: block; max-width: 100%; height: auto; }
a { color: var(--blue); text-underline-offset: 3px; }
a:hover { color: var(--blue-dark); }
a:focus-visible, button:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }
h1, h2, h3 { font-family: var(--f-body); margin: 0; text-wrap: balance; }
p { margin: 0; }
code { font-family: var(--f-mono); font-size: 0.9em; }
figure { margin: 0; }

.wrap { width: 100%; max-width: var(--col); margin: 0 auto; padding-inline: 24px; }
@media (max-width: 480px) { .wrap { padding-inline: 16px; } }

/* ---------- header ---------- */
.site-header {
  position: sticky; top: 0; z-index: 50;
  background: rgba(255, 255, 255, 0.95);
  border-bottom: 1px solid var(--line);
}
.nav { display: flex; align-items: center; gap: 28px; height: var(--header-h); }
.brand { display: flex; align-items: center; gap: 8px; font-weight: 700; font-size: 19px; color: var(--ink); text-decoration: none; flex: 0 0 auto; }
.nav-links { display: flex; gap: 24px; overflow-x: auto; scrollbar-width: none; min-width: 0; }
.nav-links::-webkit-scrollbar { display: none; }
.nav-links a { color: var(--ink-2); text-decoration: none; font-size: 16px; white-space: nowrap; }
.nav-links a:hover { color: var(--blue); }
@media (max-width: 560px) { .nav { gap: 16px; } .nav-links { gap: 16px; } .brand span { display: none; } }

/* ---------- title ---------- */
.hero { padding-block: 64px 48px; text-align: center; }
.hero h1 { font-size: clamp(28px, 4.2vw, 40px); line-height: 1.25; font-weight: 700; color: var(--blue-dark); max-width: 900px; margin-inline: auto; }
.authors { margin-top: 26px; font-size: 19px; color: var(--ink); }
.affiliations { margin-top: 6px; font-size: 17px; color: var(--ink-2); }
.hero sup { font-size: 0.7em; }
.hero .nw { white-space: nowrap; }
.affiliations .nw { margin-inline: 8px; }
@media (max-width: 600px) { .affiliations .nw { display: block; white-space: normal; margin: 0; } }
.buttons { display: flex; flex-wrap: wrap; justify-content: center; gap: 12px; margin-top: 28px; }
.btn { display: inline-block; padding: 8px 22px; border-radius: var(--radius); font-size: 16px; text-decoration: none; border: 1px solid var(--blue); background: var(--blue); color: #fff; }
.btn:hover { background: var(--blue-dark); border-color: var(--blue-dark); color: #fff; }
.btn.off { background: transparent; color: var(--ink-2); border-color: var(--line); cursor: default; }

/* ---------- sections ---------- */
section.band { padding-block: 56px; }
section.band.alt { background: var(--alt); border-block: 1px solid var(--line); }
h2 { font-size: 28px; font-weight: 700; color: var(--blue-dark); margin-bottom: 22px; padding-bottom: 8px; border-bottom: 2px solid var(--blue-soft); }
h3 { font-size: 20px; font-weight: 700; color: var(--ink); }
.prose { display: grid; gap: 14px; color: var(--ink); }
.prose ol { margin: 0; padding-left: 22px; display: grid; gap: 10px; }
.prose strong { color: var(--ink); }
.plate { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 12px; margin-bottom: 22px; }
.prose .plate { margin-bottom: 0; }
.plate img { cursor: zoom-in; margin: 0 auto; }
figcaption { font-size: 15px; color: var(--ink-2); margin-top: 10px; text-align: center; }

/* three component boxes */
.boxes { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 18px; }
@media (max-width: 820px) { .boxes { grid-template-columns: 1fr; } }
.box { border: 1px solid var(--line); border-top: 3px solid var(--blue); border-radius: var(--radius); padding: 18px 20px; background: #fff; min-width: 0; }
.box h3 { color: var(--blue-dark); }
.box p { margin-top: 8px; color: var(--ink-2); }

.two { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 36px; align-items: start; margin-top: 40px; }
@media (max-width: 860px) { .two { grid-template-columns: 1fr; gap: 32px; } }

/* ---------- tables ---------- */
.tabs { display: flex; flex-wrap: wrap; gap: 8px; margin: 22px 0 12px; }
.tab { font-family: var(--f-body); font-size: 16px; padding: 6px 16px; border-radius: var(--radius); border: 1px solid var(--line); background: #fff; color: var(--ink-2); cursor: pointer; }
.tab[aria-selected="true"] { background: var(--blue); color: #fff; border-color: var(--blue); }
.table-scroll { overflow-x: auto; border: 1px solid var(--line); border-radius: var(--radius); background: #fff; }
table { border-collapse: collapse; width: 100%; font-size: 15px; font-variant-numeric: tabular-nums; }
th, td { padding: 7px 7px; text-align: right; white-space: nowrap; border-bottom: 1px solid var(--line); }
th:first-child, td:first-child { text-align: left; }
thead th { background: var(--blue-soft); color: var(--ink); font-weight: 700; }
thead tr:first-child th { text-align: center; }
thead tr:first-child th:first-child { text-align: left; }
tbody tr:last-child td { border-bottom: 0; }
tr.group td { background: var(--alt); color: var(--ink-2); text-align: left; font-style: italic; }
tr.ref td { color: var(--ink-2); }
tr.eog td { background: var(--blue-soft); font-weight: 700; }
td.best { color: var(--blue); font-weight: 700; }
.small-table { font-size: 15px; }

/* ---------- case ---------- */
.case-tabs { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; margin: 22px 0; }
@media (max-width: 760px) { .case-tabs { grid-template-columns: 1fr; } }
.case-tab { text-align: left; padding: 12px 14px; border-radius: var(--radius); border: 1px solid var(--line); background: #fff; color: var(--ink); cursor: pointer; font: inherit; font-size: 16px; line-height: 1.4; }
.case-tab .pt { color: var(--blue); font-weight: 700; }
.case-tab[aria-selected="true"] { border-color: var(--blue); box-shadow: inset 0 0 0 1px var(--blue); }

.task { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 20px; display: grid; gap: 10px; }
.task-row { display: grid; grid-template-columns: 150px minmax(0, 1fr); gap: 12px; align-items: baseline; }
@media (max-width: 560px) { .task-row { grid-template-columns: 1fr; gap: 2px; } }
.task-key { font-weight: 700; color: var(--ink-2); }
.path-line { font-family: var(--f-mono); font-size: 15px; line-height: 1.7; overflow-wrap: anywhere; }
.path-line .rel { color: var(--ink-2); }
.path-line .ph { color: var(--navy); background: var(--navy-soft); border-radius: 4px; padding: 0 4px; }
.path-line .ph.ans { color: var(--blue-dark); background: var(--blue-soft); font-weight: 700; }
.path-line .anc { font-weight: 700; }
.chips { display: flex; flex-wrap: wrap; gap: 8px; }
.chip { padding: 1px 12px; border-radius: var(--radius); background: var(--blue-soft); color: var(--blue-dark); font-weight: 700; }
.case-note { margin-top: 14px; color: var(--ink); }

.lanes { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 18px; margin-top: 18px; align-items: start; }
@media (max-width: 900px) { .lanes { grid-template-columns: 1fr; } }
.lane { border: 1px solid var(--line); border-radius: var(--radius); background: #fff; min-width: 0; overflow: hidden; }
.lane-head { padding: 12px 16px; border-bottom: 1px solid var(--line); display: grid; gap: 6px; }
.lane.p .lane-head { background: var(--navy-soft); }
.lane.s .lane-head { background: var(--blue-soft); }
.lane-title { font-weight: 700; font-size: 18px; }
.lane.p .lane-title { color: var(--navy); }
.lane.s .lane-title { color: var(--blue-dark); }
.lane-sub { color: var(--ink-2); }
.rollouts { display: flex; flex-wrap: wrap; gap: 6px; }
.rbtn { display: inline-flex; align-items: center; gap: 6px; font: inherit; font-size: 15px; padding: 3px 10px; border-radius: var(--radius); border: 1px solid var(--line); background: #fff; color: var(--ink-2); cursor: pointer; max-width: 100%; }
.rbtn .mk { font-weight: 700; }
.rbtn.ok .mk { color: var(--blue); }
.rbtn.bad .mk { color: var(--bad); }
.rbtn .pr { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; max-width: 14ch; }
.rbtn[aria-pressed="true"] { border-color: var(--blue); color: var(--ink); box-shadow: inset 0 0 0 1px var(--blue); }

.traj { padding: 14px 16px 16px; display: grid; gap: 10px; }
.step { display: grid; gap: 4px; }
.tag { font-family: var(--f-mono); font-size: 14px; color: var(--ink-2); }
.step .body { font-size: 15px; line-height: 1.55; min-width: 0; overflow-wrap: anywhere; }
.step.think .body { white-space: pre-line; }
.step.query .body { font-family: var(--f-mono); padding: 6px 10px; border-radius: var(--radius); }
.lane.p .step.query .body { background: var(--navy-soft); color: var(--navy); }
.lane.s .step.query .body { background: var(--blue-soft); color: var(--blue-dark); }
.step.info .body { font-family: var(--f-mono); font-size: 14px; background: var(--alt); border-radius: var(--radius); padding: 8px 10px; color: var(--ink-2); }
.step.info .body div { overflow-wrap: anywhere; }
.step.info .more { margin-top: 4px; font: inherit; font-size: 15px; background: none; border: 0; padding: 0; color: var(--blue); cursor: pointer; }
.step.final .body { font-weight: 700; padding: 8px 12px; border-radius: var(--radius); background: var(--blue-soft); border: 1px solid var(--blue); }
.step.final.wrong .body { background: var(--bad-soft); border-color: var(--bad); }
.no-answer { color: var(--ink-2); background: var(--alt); border-radius: var(--radius); padding: 12px 14px; }

/* ---------- citation / footer ---------- */
.bib { position: relative; }
.bib pre { margin: 0; font-family: var(--f-mono); font-size: 15px; line-height: 1.6; background: var(--alt); border: 1px solid var(--line); border-radius: var(--radius); padding: 18px 20px; overflow-x: auto; color: var(--ink); }
.copy { position: absolute; top: 10px; right: 10px; font: inherit; font-size: 15px; padding: 3px 14px; border-radius: var(--radius); border: 1px solid var(--blue); background: #fff; color: var(--blue); cursor: pointer; }
footer { padding-block: 28px 40px; color: var(--ink-2); border-top: 1px solid var(--line); text-align: center; }

/* lightbox */
dialog.lightbox { border: 0; padding: 0; background: transparent; max-width: min(96vw, 1600px); width: 100%; }
dialog.lightbox::backdrop { background: rgba(10, 20, 35, 0.8); }
dialog.lightbox img { background: #fff; border-radius: var(--radius); padding: 12px; margin: 0 auto; max-height: 88vh; width: auto; }
dialog.lightbox button { position: fixed; top: 16px; right: 16px; width: 40px; height: 40px; border-radius: 50%; border: 0; background: #fff; color: var(--ink); font-size: 22px; cursor: pointer; }