:root {
  --bg: #08111f;
  --bg-deep: #050b14;
  --panel: #0d192b;
  --panel-2: #111f34;
  --paper: #f3f0e9;
  --ink: #102033;
  --text: #edf4ff;
  --muted: #9fb0c7;
  --line: rgba(210, 226, 247, 0.14);
  --cyan: #56d7d0;
  --cyan-soft: rgba(86, 215, 208, 0.13);
  --gold: #ffcd70;
  --gold-soft: rgba(255, 205, 112, 0.13);
  --coral: #ff7d73;
  --coral-soft: rgba(255, 125, 115, 0.13);
  --violet: #ac9cff;
  --violet-soft: rgba(172, 156, 255, 0.13);
  --green: #79e09d;
  --radius: 8px;
  --radius-lg: 8px;
  --shadow: 0 30px 80px rgba(0, 0, 0, 0.30);
  --shell: min(1180px, calc(100vw - 0px));
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--text);
  background:
    radial-gradient(circle at 75% 2%, rgba(65, 138, 182, 0.16), transparent 27rem),
    radial-gradient(circle at 8% 23%, rgba(172, 156, 255, 0.08), transparent 22rem),
    var(--bg);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}
body::before {
  content: "";
  position: fixed;
  inset: 0;
  pointer-events: none;
  opacity: 0.22;
  background-image:
    linear-gradient(rgba(255,255,255,.018) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255,255,255,.018) 1px, transparent 1px);
  background-size: 44px 44px;
  mask-image: linear-gradient(to bottom, black, transparent 74%);
}
button, input, select { font: inherit; }
a { color: inherit; }
code, pre, .brand-mark {
  font-family: "SFMono-Regular", "Cascadia Code", "Liberation Mono", Menlo, monospace;
}
.shell { width: var(--shell); margin-inline: auto; }
.sr-only {
  position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px;
  overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0;
}
.skip-link {
  position: fixed; left: 12px; top: 12px; z-index: 1000; transform: translateY(-160%);
  background: white; color: black; padding: 10px 14px; border-radius: 8px;
}
.skip-link:focus { transform: translateY(0); }

.site-header {
  position: sticky; top: 0; z-index: 50;
  background: rgba(8, 17, 31, 0.78);
  backdrop-filter: blur(18px);
  border-bottom: 1px solid rgba(255,255,255,0.07);
}
.nav { min-height: 72px; display: flex; align-items: center; gap: 28px; }
.brand {
  display: inline-flex; align-items: center; gap: 12px; font-weight: 760;
  letter-spacing: -0.02em; text-decoration: none;
}
.brand-text {
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: flex-start;
  line-height: 1.1;
}
.brand-title {
  font-size: 16px;
  font-weight: 760;
}
.brand-subtitle {
  margin-top: 3px;
  font-size: 11px;
  font-weight: 400;
  letter-spacing: 0;
  color: var(--muted);
}
.header-container {
  display: flex;
  align-items: center;
  gap: 20px;
}
.brand-logo {
  display: block;
  width: auto;
  height: 52px;
  object-fit: contain;
} 
.brand-mark {
  display: grid; place-items: center; width: 34px; height: 34px;
  border: 1px solid rgba(86, 215, 208, 0.45); border-radius: 9px;
  background: var(--cyan-soft); color: var(--cyan); font-size: 19px;
}
.brand > img.brand-mark {
  display: block;
  object-fit: cover;
  object-position: center;
  overflow: hidden;
}
.nav-links { display: flex; gap: 26px; margin-left: auto; }
.nav-links a, .footer-links a {
  color: var(--muted); text-decoration: none; font-size: 14px; font-weight: 650;
}
.nav-links a:hover, .footer-links a:hover { color: white; }
.nav-paper {
  text-decoration: none; font-size: 14px; font-weight: 750;
  color: var(--bg); background: var(--text); padding: 10px 15px; border-radius: 10px;
}

.hero {
  /* min-height: 820px;  */
  padding: 100px 0 70px;
  /* display: grid; grid-template-columns: 1.05fr .95fr; gap: 72px;  */
  align-items: center;
}
.hero-copy {
  max-width: 1200px;
  margin-inline: auto;
  display: flex;
  flex-direction: column;
  align-items: center;
  text-align: center;
}
.eyebrow {
  font-size: 20px; font-weight: 800; color: var(--cyan);
}
.eyebrow span {
  color: var(--bg); background: var(--gold); padding: 4px 8px; border-radius: 5px; letter-spacing: 0.1em;
}
h1, h2, h3, p { margin-top: 0; }
h1 {
  font-family: Georgia, "Times New Roman", serif; font-size: clamp(10px, 5.4vw, 38px);
  line-height: .99; letter-spacing: -.02em; font-weight: 500; margin: 22px 0 28px;
}
h1 em { color: var(--gold); font-weight: 500; }
h1 em:last-child { color: var(--cyan); }
.hero-deck {
  color: #c8d4e4; font-size: 20px; max-width: 820px; line-height: 1.55;
}
.authors { display: flex; flex-wrap: wrap; justify-content: center; gap: 7px 18px; margin-top: 5px; font-size: 18px; font-weight: 570; }
.authors sup, .affiliations sup { color: var(--cyan); }
.authors a { font-size: inherit; color: #0000BB; }
.affiliations { color: var(--muted); font-size: 16px; margin-top: 8px; }
.hero-actions { display: flex; flex-wrap: wrap; justify-content: center; gap: 20px; margin-top: 10px; }
.hero-citation {
  width: min(760px, 100%);
  margin-top: 18px;
  text-align: left;
}
.button {
  display: inline-flex; align-items: center; gap: 8px; min-height: 34px; padding: 0 15px;
  /* border: 1px solid var(--line);  */
  border-radius: 20px; 
  /* background: black; */
  background: #334252;
  border-color: #334252;
  color: #f8fbfb;
  /* background: rgba(255,255,255,0.035); */
  text-decoration: none; font-size: 13px; font-weight: 750;
}
.button:hover { 
  border-color: rgba(86, 215, 208, .55); 
  background: black;
  /* background: var(--cyan-soft);  */
}
.button.primary { 
  /* background: var(--cyan);  */
  background: black;
  color: #061318; 
  border-color: var(--cyan); 
}
.button-icon {
  width: 18px;
  height: 18px;
  object-fit: contain;
  flex-shrink: 0;
  opacity: .9;
}

.hero-visual {
  border: 1px solid rgba(255,255,255,0.12); border-radius: var(--radius-lg);
  background:  white; /* linear-gradient(160deg, rgba(18, 34, 56, .97), rgba(8, 18, 32, .97)); */
  /* box-shadow: var(--shadow); overflow: hidden; position: relative; */
}
/* .hero-visual::after {
  content: ""; position: absolute; width: 190px; height: 190px; border-radius: 50%;
  top: -100px; right: -70px; 
   background: rgba(86,215,208,.12); 
  filter: blur(20px);  
  pointer-events: none;
} */
.visual-topline {
  display: flex; align-items: center; gap: 9px; padding: 16px 20px;
  border-bottom: 1px solid var(--line); color: var(--muted); font-size: 16px;
  text-transform: uppercase; letter-spacing: normal; font-weight: 800;
}
.live-dot { 
  width: 7px; 
  height: 7px; 
  background: var(--green); 
  border-radius: 50%; 
  /* box-shadow: 0 0 0 5px rgba(121,224,157,.08);  */
}
.visual-id {
  display: inline-flex;
  align-items: center;
  gap: 0.35em;
  font-size: 13px;
  margin-left: auto;
  text-transform: none;
  letter-spacing: normal;
  color: #999999;
}
.hf-logo {
  display: inline-block;
  width: auto;
  height: 1.3em;
  vertical-align: middle;
}
.semantics-tabs, .task-tabs {
  display: grid; grid-template-columns: repeat(3, 1fr); gap: 5px; margin: 16px 12px 12px; padding: 5px;
  background: rgba(4, 10, 18, 0.58); border-radius: 12px;
}
.semantics-tab, .task-tab {
  border: 0; color: var(--muted); background: transparent; padding: 9px 7px; border-radius: 8px;
  cursor: pointer; font-size: 14px; font-weight: 800; letter-spacing: .02em;
}
.semantics-tab.active, .task-tab.active { color: #07131b; background: var(--cyan-soft); }
.program-container {
  margin: 0;
  display: flex;
  gap: 10px;
  flex-direction: column;
  overflow: hidden;
  width: 60%;
}
.program-window {
  border-radius: 13px;
  border: 1px solid rgba(148, 163, 184, 0.28);
  background: linear-gradient(180deg, #f8fafc, #eef2f7);
  overflow: auto;
  margin: 0;
}
.demo-section {
  display: flex; 
  gap: 10px; 
  justify-content: space-between; 
  margin: 0 12px 12px;
}
.window-bar, .terminal-bar {
  height: 33px; display: flex; align-items: center; gap: 6px; padding: 0 12px; background: rgba(255,255,255,.035); border-bottom: 1px solid var(--line);
}
.window-bar span, .terminal-bar span { width: 7px; height: 7px; border-radius: 50%; background: #546277; }
.window-bar span:first-child, .terminal-bar span:first-child { background: var(--coral); }
.window-bar span:nth-child(2), .terminal-bar span:nth-child(2) { background: var(--gold); }
.window-bar span:nth-child(3), .terminal-bar span:nth-child(3) { background: var(--green); }
.window-bar strong { color: #76869d; font-size: 10px; margin-left: 6px; font-weight: 650; }
.code { margin: 0; padding: 18px; font-size: 15px; line-height: 2.1; overflow: auto; }
.ln { display: inline-block; width: 26px; color: #52627a; user-select: none; }
.kw { color: var(--violet); }
.operator { color: var(--gold); display: inline-block; min-width: 13px; text-align: center; font-weight: 800; }
.code-input {
  width: 39px; border: 0; border-bottom: 1px solid rgba(255,255,255,.22); outline: 0;
  color: var(--text); background: transparent; font-family: inherit; font-size: inherit; text-align: center;
  appearance: textfield;
  -moz-appearance: textfield;
}
.code-input::-webkit-inner-spin-button { -webkit-appearance: none; margin: 0; }
.code-input:focus { border-color: var(--cyan); }
.rule-window {
  margin: 0; display: flex; flex-direction: column;
  border: 1px solid rgba(125, 143, 166, 0.28);
  border-radius: 13px;
  background: linear-gradient(180deg, #243246, #1a2433);
  box-shadow: 0 14px 34px rgba(4, 10, 18, 0.18);
  width: 38%;
}
.rule-card {
  margin: 0; 
  display: grid; 
  grid-template-columns: 1fr 1.15fr; 
  gap: 18px; 
  align-items: center;
  background: inherit;
  padding: 15px;
  color: #cccccc;
}
.micro-label {
  margin-bottom: 5px; color: #8496ae; text-transform: uppercase; letter-spacing: .13em; font-size: 9px; font-weight: 850;
}
.rule-description { margin: 0; font-size: 12px; color: #cccccc; }
.rule-description code { color: var(--gold); }
.inference-rule { display: flex; flex-direction: column; align-items: center; color: #cccccc; font-family: Georgia, serif; font-size: 14px; }
.inference-rule code { color: var(--gold); }
.rule-line { width: 100%; height: 1px; background: #7a8aa0; margin: 5px 0; }
.answer-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin: 0; }
.answer { padding: 13px 14px; border: 1px solid var(--line); border-radius: 12px; background: rgba(255,255,255,.035); position: relative; }
.answer strong { font-family: Georgia, serif; font-size: 24px; font-weight: 500; }
.answer-status { position: absolute; right: 10px; bottom: 10px; font-size: 9px; border-radius: 20px; padding: 3px 7px; font-weight: 750; }
.answer-status.good { color: var(--green); background: rgba(121,224,157,.1); }
.answer-status.bad { color: var(--coral); background: var(--coral-soft); }
.answer-status.neutral { color: var(--muted); background: rgba(255,255,255,.05); }
.step-button {
  width: calc(100% - 36px); margin: 0 18px 12px; border: 1px solid rgba(255,205,112,.28);
  background: var(--gold-soft); color: var(--gold); border-radius: 11px; padding: 11px 14px;
  display: flex; justify-content: space-between; cursor: pointer; font-size: 11px; font-weight: 800;
}
.step-button:hover { background: rgba(255,205,112,.18); }
.trace { display: grid; gap: 5px; padding: 0 18px 18px; }
.trace-step {
  opacity: .36; transform: translateX(-4px); display: grid; grid-template-columns: 26px 1fr; align-items: center;
  color: var(--muted); font-size: 10px; transition: .25s ease;
}
.trace-step span { color: #52627a; font-weight: 800; }
.trace-step.active { opacity: 1; transform: translateX(0); color: var(--text); }
.trace-step.active span { color: var(--cyan); }

.metrics {
  display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line);
}
.metrics article { padding: 20px 20px; border-right: 1px solid var(--line); }
.metrics article:last-child { border-right: 0; }
.metrics strong { display: block; font-family: Georgia, serif; font-size: 44px; font-weight: 500; line-height: 1; color: var(--paper); }
.metrics strong span { color: var(--cyan); font-family: inherit; font-size: .52em; margin-left: 2px; }
.metrics p { color: var(--muted); font-size: 12px; margin: 10px 0 0; max-width: 180px; }

.section { padding: 118px 0; }
.section-heading { max-width: 1200px; margin-bottom: 52px; }
.section-heading h2 {
  font-family: Georgia, "Times New Roman", serif; font-size: clamp(24px, 3.5vw, 44px);
  line-height: 1.06; letter-spacing: -.035em; font-weight: 500; margin: 12px 0 18px;
}
.section-heading > p:last-child, .split-heading > p { color: var(--muted); font-size: 20px; }
.split-heading { max-width: none; display: grid; grid-template-columns: 1.1fr .9fr; gap: 90px; align-items: end; }
.split-heading > p { margin-bottom: 13px; }

.shift-diagram { display: grid; grid-template-columns: 1fr 42px 1fr 42px 1fr; align-items: stretch; }
.shift-card {
  min-height: 290px; padding: 27px; border: 1px solid var(--line); border-radius: var(--radius);
  background: linear-gradient(150deg, rgba(255,255,255,.045), rgba(255,255,255,.015)); position: relative;
}
/* .shift-card.swap { border-color: rgba(255,125,115,.35); background: linear-gradient(150deg, var(--coral-soft), rgba(255,255,255,.018)); }
.shift-card.obf { border-color: rgba(172,156,255,.3); background: linear-gradient(150deg, var(--violet-soft), rgba(255,255,255,.018)); } */
.shift-number { position: absolute; right: 22px; top: 19px; color: #4f6077; font-size: 11px; font-weight: 850; }
.shift-card h3 { font-size: 20px; line-height: 1.25; margin: 14px 0 28px; max-width: 240px; }
.shift-card > p:last-child { color: var(--muted); font-size: 13px; margin: 22px 0 0; }
.mapping { display: grid; grid-template-columns: 55px 1fr; grid-template-rows: auto auto; column-gap: 15px; align-items: center; }
.mapping code {
  grid-row: 1 / span 2; display: grid; place-items: center; width: 55px; height: 55px;
  border-radius: 13px; background: rgba(255,255,255,.06); font-size: 25px; color: var(--gold);
}
.swap .mapping code { color: var(--coral); }
.obf .mapping code { color: var(--violet); }
.mapping span { color: var(--muted); font-size: 9px; text-transform: uppercase; letter-spacing: .13em; font-weight: 800; }
.mapping strong { font-family: Georgia, serif; font-size: 20px; font-weight: 500; }
.shift-arrow { display: grid; place-items: center; color: #53647b; font-size: 22px; }

.benchmark-section {
  background: linear-gradient(180deg, rgba(255,255,255,.025), rgba(255,255,255,.008));
  border-top: 1px solid var(--line); border-bottom: 1px solid var(--line);
}
.benchmark-layout { display: grid; grid-template-columns: 1.1fr .9fr; gap: 28px; align-items: stretch; }
.pipeline {
  display: grid; grid-template-columns: 1fr 30px 1fr 30px 1fr 30px 1fr;
  border: 1px solid var(--line); border-radius: var(--radius); padding: 25px 20px; background: rgba(5,12,21,.48);
}
.pipeline-stage { text-align: center; position: relative; padding: 6px; }
.stage-index {
  position: absolute; top: -4px; left: 2px; color: #5a6b81; font-size: 9px; font-weight: 850;
}
.stage-icon {
  width: 58px; height: 58px; display: grid; place-items: center; margin: 0 auto 16px;
  border: 1px solid var(--line); border-radius: 15px; background: rgba(255,255,255,.035); font: 700 20px/1 "SFMono-Regular", monospace;
}
.accent-stage .stage-icon { border-color: rgba(255,125,115,.4); background: var(--coral-soft); color: var(--coral); }
.pipeline-stage h3 { font-size: 13px; margin-bottom: 8px; }
.pipeline-stage p { color: var(--muted); font-size: 10px; margin: 0; }
.pipeline-connector { display: grid; place-items: center; color: #55667c; font-size: 17px; }

.task-panel { border: 1px solid var(--line); border-radius: var(--radius); background: var(--panel); padding-bottom: 17px; }
.task-content { display: grid; grid-template-columns: .95fr 1.05fr; gap: 18px; align-items: center; padding: 18px 22px 12px; }
.task-content h3 { font-family: Georgia, serif; font-size: 26px; font-weight: 500; margin: 7px 0 10px; }
.task-content p:last-child { color: var(--muted); font-size: 12px; }
.task-terminal { border: 1px solid var(--line); border-radius: 12px; overflow: hidden;  background: #eeeff0;}
.task-terminal pre { min-height: 125px; margin: 0; padding: 16px; font-size: 11px; }
.task-scale { display: grid; grid-template-columns: auto 1fr auto; align-items: center; gap: 12px; padding: 4px 22px 0; color: #697b91; font-size: 8px; text-transform: uppercase; letter-spacing: .1em; font-weight: 800; }
.task-scale div { display: grid; grid-template-columns: repeat(5,1fr); gap: 3px; }
.task-scale i { height: 2px; background: #334359; }
.task-scale i:nth-child(-n+3) { background: var(--cyan); }
.benchmark-facts { display: grid; grid-template-columns: repeat(4,1fr); margin-top: 22px; border: 1px solid var(--line); border-radius: 14px; }
.benchmark-facts div { display: flex; align-items: center; gap: 12px; padding: 16px 21px; border-right: 1px solid var(--line); }
.benchmark-facts div:last-child { border-right: 0; }
.benchmark-facts span { font-family: Georgia, serif; font-size: 28px; color: var(--gold); }
.benchmark-facts p { margin: 0; color: var(--muted); font-size: 11px; }

.results-card { border: 1px solid var(--line); border-radius: var(--radius-lg); background: var(--panel); overflow: hidden; }
.result-controls {
  display: flex; align-items: end; gap: 14px; padding: 20px 24px; border-bottom: 1px solid var(--line);
  background: rgba(4,10,18,.35);
}
.result-controls label { display: grid; gap: 6px; color: #8496ae; font-size: 9px; text-transform: uppercase; letter-spacing: .11em; font-weight: 850; }
select {
  min-width: 165px; appearance: none; color: var(--text); background: #101e31;
  border: 1px solid var(--line); border-radius: 9px; padding: 9px 32px 9px 11px;
  background-image: linear-gradient(45deg, transparent 50%, #8292a7 50%), linear-gradient(135deg, #8292a7 50%, transparent 50%);
  background-position: calc(100% - 14px) 52%, calc(100% - 10px) 52%; background-size: 4px 4px; background-repeat: no-repeat;
  text-transform: none; letter-spacing: 0; font-weight: 650; font-size: 12px;
}
.legend { margin-left: auto; display: flex; flex-wrap: wrap; gap: 14px; color: var(--muted); font-size: 10px; padding-bottom: 8px; }
.legend span { display: flex; align-items: center; gap: 6px; }
.legend i { width: 9px; height: 9px; border-radius: 3px; }
.legend .std { background: var(--cyan); }
.legend .swap { background: var(--coral); }
.legend .obf { background: var(--violet); }
.chart-header { display: flex; justify-content: space-between; gap: 50px; padding: 30px 30px 5px; }
.chart-header h3 { font-family: Georgia, serif; font-size: 25px; font-weight: 500; }
.chart-header > p { color: var(--muted); font-size: 11px; max-width: 390px; text-align: right; }
.bar-chart { padding: 20px 30px 28px; display: grid; gap: 16px; }
.chart-row { display: grid; grid-template-columns: 180px 1fr; gap: 18px; align-items: center; }
.chart-label {
  display: flex;
  align-items: center;
  gap: 8px;
  min-width: 0;
  color: #cbd6e5;
  font-size: 11px;
  font-weight: 700;
}
.chart-label-text {
  min-width: 0;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.model-icon {
  width: 16px;
  height: 16px;
  flex: 0 0 16px;
  object-fit: contain;
  border-radius: 4px;
}
.bars { display: grid; grid-template-columns: repeat(3,1fr); gap: 8px; }
.bar-track { height: 29px; background: rgba(255,255,255,.035); border-radius: 7px; overflow: hidden; position: relative; }
.bar-fill { height: 100%; min-width: 1px; border-radius: inherit; transition: width .55s cubic-bezier(.2,.7,.2,1); position: relative; }
.bar-fill.std { background: linear-gradient(90deg, rgba(86,215,208,.55), var(--cyan)); }
.bar-fill.swap { background: linear-gradient(90deg, rgba(255,125,115,.48), var(--coral)); }
.bar-fill.obf { background: linear-gradient(90deg, rgba(172,156,255,.48), var(--violet)); }
.bar-value { position: absolute; right: 8px; top: 6px; color: #07131b; font-size: 10px; font-weight: 900; }
.bar-fill.low .bar-value { left: calc(100% + 6px); right: auto; color: #cbd6e5; }
.result-insight { display: flex; align-items: center; gap: 13px; padding: 18px 24px; border-top: 1px solid var(--line); background: rgba(255,125,115,.055); }
.insight-mark { display: grid; place-items: center; width: 28px; height: 28px; flex: 0 0 auto; border-radius: 50%; color: var(--coral); background: var(--coral-soft); font-weight: 900; }
.result-insight p { margin: 0; color: #c3cedd; font-size: 12px; }
.data-note { margin: 0; padding: 0 24px 21px; color: #63758c; font-size: 9px; }
.findings-grid { display: grid; grid-template-columns: repeat(4,1fr); gap: 14px; margin-top: 22px; }
.findings-grid article { min-height: 240px; border: 1px solid var(--line); border-radius: var(--radius); padding: 23px; background: rgba(255,255,255,.025); }
.finding-index { color: var(--cyan); font: 800 10px/1 "SFMono-Regular", monospace; }
.findings-grid h3 { font-size: 16px; line-height: 1.3; margin: 30px 0 14px; }
.findings-grid p { color: var(--muted); font-size: 12px; margin: 0; }

.trace-section { background: var(--paper); color: var(--ink); }
.trace-layout { display: grid; grid-template-columns: 1fr 1fr; gap: 100px; align-items: center; }
.trace-copy .eyebrow { color: #147f7a; }
.trace-copy h2 { font-family: Georgia, serif; font-size: clamp(38px,4vw,58px); font-weight: 500; line-height: 1.04; letter-spacing: -.035em; }
.trace-copy > p:not(.eyebrow) { color: #52606c; font-size: 16px; }
.trace-stat { display: flex; align-items: center; gap: 17px; margin-top: 32px; padding-top: 24px; border-top: 1px solid rgba(16,32,51,.14); }
.trace-stat strong { font-family: Georgia, serif; font-size: 38px; font-weight: 500; color: #bd4845; }
.trace-stat span { max-width: 210px; color: #52606c; font-size: 12px; }
.trace-stack { position: relative; min-height: 410px; display: grid; place-items: center; }
.stack-card {
  position: absolute; width: min(430px, 88%); min-height: 90px; padding: 20px 22px;
  border-radius: 15px; border: 1px solid rgba(16,32,51,.16); background: white; box-shadow: 0 18px 50px rgba(20,31,44,.12);
  display: grid; gap: 8px; transform-origin: center;
}
.stack-card span { color: #76818c; font-size: 9px; text-transform: uppercase; letter-spacing: .13em; font-weight: 850; }
.stack-card code { color: #23364a; font-size: 12px; }
.stack-card:nth-child(1) { transform: translateY(-132px) scale(.88); opacity: .42; }
.stack-card:nth-child(2) { transform: translateY(-69px) scale(.94); opacity: .72; }
.stack-card:nth-child(3) { transform: translateY(0); border-color: rgba(20,127,122,.45); box-shadow: 0 22px 60px rgba(20,127,122,.16); }
.stack-card:nth-child(4) { transform: translateY(69px) scale(.94); opacity: .72; }
.stack-card:nth-child(5) { transform: translateY(132px) scale(.88); opacity: .42; }

.abstract-section details { border-top: 1px solid var(--line); padding-top: 24px; }
.abstract-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 60px; color: #bac7d7; font-size: 17px; line-height: 1.75; }
.abstract-section summary { cursor: pointer; color: var(--cyan); font-size: 12px; font-weight: 800; }
.abstract-section details p { max-width: 840px; color: var(--muted); margin-top: 17px; }

.resources-section { background: #07101c; border-top: 1px solid var(--line); }
.resource-heading { max-width: 700px; }
.resource-grid { display: grid; grid-template-columns: repeat(2,1fr); gap: 12px; }
.resource-grid a {
  display: grid; grid-template-columns: 45px 1fr auto; gap: 15px; align-items: center;
  padding: 20px; border: 1px solid var(--line); border-radius: 14px; text-decoration: none; background: rgba(255,255,255,.025);
}
.resource-grid a:hover { border-color: rgba(86,215,208,.45); transform: translateY(-1px); }
.resource-icon { display: grid; place-items: center; width: 42px; height: 42px; border-radius: 11px; background: var(--cyan-soft); color: var(--cyan); }
.resource-grid strong { display: block; font-size: 13px; }
.resource-grid small { display: block; color: var(--muted); font-size: 10px; margin-top: 3px; }
.citation-card { margin-top: 24px; border: 1px solid var(--line); border-radius: var(--radius); overflow: hidden; background: #050c16; }
.citation-header { display: flex; align-items: center; justify-content: space-between; padding: 17px 20px; border-bottom: 1px solid var(--line); }
.citation-header h3 { margin: 0; font-size: 14px; }
.citation-header button { border: 1px solid var(--line); border-radius: 8px; color: var(--text); background: rgba(255,255,255,.04); padding: 8px 11px; cursor: pointer; font-size: 10px; font-weight: 750; }
.citation-card pre { overflow: auto; margin: 0; padding: 23px; color: #b8c8da; font-size: 11px; line-height: 1.7; }

footer { border-top: 1px solid var(--line); background: var(--bg-deep); }
.footer-inner { min-height: 150px; display: flex; align-items: center; justify-content: space-between; gap: 30px; }
.footer-inner p { color: #607187; font-size: 10px; margin: 12px 0 0; }
.footer-links { display: flex; flex-wrap: wrap; gap: 22px; }

@media (max-width: 1050px) {
  .hero { grid-template-columns: 1fr; padding-top: 80px; gap: 48px; }
  .hero-copy { max-width: 820px; align-items: center; justify-content: center; }
  .hero-visual { max-width: 690px; width: 100%; }
  .metrics { grid-template-columns: repeat(2,1fr); }
  .metrics article:nth-child(2) { border-right: 0; }
  .metrics article:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .benchmark-layout, .trace-layout { grid-template-columns: 1fr; }
  .pipeline { min-height: 310px; }
  .findings-grid { grid-template-columns: repeat(2,1fr); }
}
@media (max-width: 790px) {
  :root { --shell: min(100% - 28px, 680px); }
  .nav { min-height: 62px; }
  .nav-links { display: none; }
  .nav-paper { margin-left: auto; }
  .hero { min-height: auto; padding: 66px 0 55px; }
  h1 { font-size: clamp(43px, 14vw, 64px); }
  .hero-deck { font-size: 17px; text-align: center; justify-content: center; }
  .section { padding: 82px 0; }
  .split-heading, .abstract-grid { grid-template-columns: 1fr; gap: 10px; }
  .shift-diagram { grid-template-columns: 1fr; gap: 12px; }
  .shift-arrow { transform: rotate(90deg); height: 28px; }
  .pipeline { grid-template-columns: 1fr; gap: 6px; }
  .pipeline-connector { height: 25px; transform: rotate(90deg); }
  .pipeline-stage { display: grid; grid-template-columns: 58px 1fr; grid-template-rows: auto auto; text-align: left; column-gap: 15px; align-items: center; }
  .stage-index { left: auto; right: 4px; }
  .stage-icon { grid-row: 1 / span 2; margin: 0; }
  .pipeline-stage h3 { margin: 0 0 4px; }
  .benchmark-facts { grid-template-columns: repeat(2,1fr); }
  .benchmark-facts div:nth-child(2) { border-right: 0; }
  .benchmark-facts div:nth-child(-n+2) { border-bottom: 1px solid var(--line); }
  .result-controls { align-items: stretch; flex-direction: column; }
  .legend { margin: 5px 0 0; }
  .chart-header { flex-direction: column; gap: 4px; }
  .chart-header > p { text-align: left; }
  .chart-row { grid-template-columns: 1fr; gap: 7px; }
  .resource-grid { grid-template-columns: 1fr; }
}
@media (max-width: 540px) {
  .nav-paper { font-size: 0; }
  .nav-paper span { font-size: 14px; }
  .hero-actions .button { flex: 1 1 calc(50% - 8px); justify-content: center; }
  .rule-card, .task-content { grid-template-columns: 1fr; }
  .answer-grid { grid-template-columns: 1fr; }
  .metrics { grid-template-columns: 1fr; }
  .metrics article { border-right: 0; border-bottom: 1px solid var(--line); }
  .metrics article:last-child { border-bottom: 0; }
  .findings-grid { grid-template-columns: 1fr; }
  .benchmark-facts { grid-template-columns: 1fr; }
  .benchmark-facts div { border-right: 0; border-bottom: 1px solid var(--line); }
  .task-scale { grid-template-columns: 1fr; }
  .trace-stack { min-height: 350px; }
  .stack-card { width: 96%; }
  .footer-inner { flex-direction: column; align-items: flex-start; justify-content: center; padding: 35px 0; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: .01ms !important; animation-iteration-count: 1 !important; transition-duration: .01ms !important; }
}

:root {
  --bg: #f6f2eb;
  --bg-deep: #ede7dd;
  --panel: #fbfaf7;
  --panel-2: #f4f1eb;
  --paper: #f1f4f2;
  --ink: #223243;
  --text: #4d6075;
  --muted: #6c7d8f;
  --line: rgba(34, 50, 67, 0.10);
  --cyan: #2d8e93;
  --cyan-soft: rgba(45, 142, 147, 0.08);
  --cyan-tab: rgba(45, 142, 147, 0.22);
  --gold: #b88d49;
  --gold-soft: rgba(184, 141, 73, 0.10);
  --coral: #b76a65;
  --coral-soft: rgba(183, 106, 101, 0.09);
  --violet: #7c71aa;
  --violet-soft: rgba(124, 113, 170, 0.09);
  --green: #4e8d68;
  --shadow: 0 22px 55px rgba(47, 54, 62, 0.09);
}

body {
  color: var(--text);
  background:
    radial-gradient(circle at 78% 0%, rgba(45, 142, 147, 0.08), transparent 29rem),
    radial-gradient(circle at 5% 28%, rgba(184, 141, 73, 0.07), transparent 24rem),
    linear-gradient(180deg, #faf8f4 0%, var(--bg) 48%, #f3efe7 100%);
}

body::before {
  opacity: 0.30;
  background-image:
    linear-gradient(rgba(22,39,58,.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(22,39,58,.025) 1px, transparent 1px);
}

.site-header {
  background: rgba(250, 248, 243, 0.84);
  border-bottom-color: rgba(22, 39, 58, 0.09);
  box-shadow: 0 8px 30px rgba(22, 39, 58, 0.035);
}

.brand-mark {
  border-color: rgba(22, 142, 146, 0.30);
  background: rgba(22, 142, 146, 0.08);
}

.nav-links a,
.footer-links a {
  color: #627286;
}

.nav-links a:hover,
.footer-links a:hover {
  color: var(--ink);
}

.nav-paper {
  color: #f7f4ef;
  background: #334252;
  box-shadow: 0 8px 20px rgba(22, 39, 58, 0.08);
}

h1 em {
  color: var(--gold);
}

h1 em:last-child {
  color: var(--cyan);
}

.hero-deck {
  color: #5d6d7f;
}

.authors a {
  color: #486d96;
}

.affiliations,
.metrics p,
.section-heading > p:last-child,
.split-heading > p,
.shift-card > p:last-child,
.pipeline-stage p,
.task-content p:last-child,
.chart-header > p,
.findings-grid p,
.abstract-section details p {
  color: var(--muted);
}

.button {
  border: 1px solid #334252;
  background: #334252;
  color: #f8fbfb;
  box-shadow: 0 6px 16px rgba(22, 39, 58, 0.04);
}

.button:hover {
  border-color: var(--paper); 
  background: #334252;
  color: #f8fbfb;
}

/* .button.primary {
  color: #f8fbfb;
  background: var(--cyan);
  border-color: var(--cyan);
} */

.hero-visual {
  border-color: rgba(22, 39, 58, 0.12);
  background: linear-gradient(180deg, #2b3442 0%, #232c39 100%);
  /* background:
    radial-gradient(circle at 88% 2%, rgba(200, 150, 46, 0.13), transparent 13rem),
    linear-gradient(150deg, rgba(255,255,255,.98), rgba(241,246,247,.98));
  box-shadow: var(--shadow); */
}

.hero-visual::after {
  background: rgba(22,142,146,.08);
}

.visual-topline {
  border-bottom-color: rgba(210, 226, 247, 0.1);
  color: #d1d9e3;
  background: rgba(255,255,255,0.025);
}

.semantics-tabs,
.task-tabs {
  background: rgba(255,255,255,0.045);
  border: 1px solid rgba(210, 226, 247, 0.08);
}

.semantics-tab,
.task-tab {
  color: #ced8e3;
}

.semantics-tab.active,
.task-tab.active {
  color: #18303a;
  background: linear-gradient(180deg, #9ed9d6, #83c8c3);
  box-shadow: 0 6px 14px rgba(45, 142, 147, 0.14);
}

.semantics-tab:hover,
.task-tab:hover {
  color: #e9eff5;
}

.visual-id {
  color: #adbac8;
}

.window-bar,
.terminal-bar {
  background: rgba(255,255,255,0.42);
  border-bottom-color: rgba(125, 143, 166, 0.22);
}

.rule-window {
  border-color: rgba(125, 143, 166, 0.28);
  background: linear-gradient(180deg, #243246, #1a2433);
  box-shadow: 0 14px 34px rgba(4, 10, 18, 0.18);
}

.rule-card {
  background: linear-gradient(180deg, rgba(255,255,255,0.03), rgba(255,255,255,0.015));
}

.rule-description {
  color: #d3dceb;
}

.inference-rule {
  color: #edf3fb;
}

.rule-line {
  background: rgba(214, 226, 242, 0.4);
}

.answer {
  border-color: rgba(148, 163, 184, 0.26);
  background: linear-gradient(180deg, rgba(249,250,252,0.88), rgba(239,243,247,0.84));
  box-shadow: 0 6px 14px rgba(10, 20, 35, 0.05);
}

.answer strong {
  color: var(--ink);
}

.answer.rule-answer {
  border-color: rgba(86, 215, 208, 0.26);
}

.answer.prior-answer {
  border-color: rgba(201, 88, 81, 0.18);
}

.step-button {
  border-color: rgba(200,150,46,.26);
  background: rgba(200,150,46,.095);
  color: #936d1d;
}

.step-button:hover {
  background: rgba(200,150,46,.16);
}

.trace-step.active {
  color: var(--ink);
}

.metrics {
  border-top-color: var(--line);
  border-bottom-color: var(--line);
  background: rgba(255,255,255,.28);
}

.metrics article {
  border-right-color: var(--line);
}

.metrics strong {
  color: var(--ink);
}

.shift-card {
  border-color: var(--line);
  background: linear-gradient(150deg, rgba(255,255,255,.74), rgba(255,255,255,.42));
  box-shadow: 0 10px 26px rgba(22,39,58,.025);
}

/* .shift-card.swap {
  border-color: rgba(201,88,81,.24);
  background: linear-gradient(150deg, rgba(183,106,101,.06), rgba(255,255,255,.66));
}

.shift-card.obf {
  border-color: rgba(113,100,181,.22);
  background: linear-gradient(150deg, rgba(124,113,170,.055), rgba(255,255,255,.66));
} */

.mapping code,
.stage-icon {
  background: rgba(22,39,58,.045);
}

.benchmark-section {
  background:
    linear-gradient(180deg, rgba(255,255,255,.62), rgba(242,244,241,.56));
  border-top-color: var(--line);
  border-bottom-color: var(--line);
}

.pipeline {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.96), rgba(35, 44, 57, 0.96));
  box-shadow: 0 14px 32px rgba(4, 10, 18, 0.10);
}

.task-panel {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.96), rgba(35, 44, 57, 0.96));
  box-shadow: 0 14px 32px rgba(4, 10, 18, 0.10);
}

.task-content h3 {
  color: #eef3f8;
}

.task-content p:last-child,
.pipeline-stage p {
  color: #aebccc;
}

.pipeline-stage h3 {
  color: #e5ecf4;
}

.pipeline-connector {
  color: #8ea1b7;
}

.task-terminal {
  border-color: rgba(214, 226, 242, 0.10);
  background: rgba(255,255,255,0.06);
}

.task-terminal pre {
  color: #dce5ef;
}

.benchmark-facts {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.94), rgba(35, 44, 57, 0.94));
}

.benchmark-facts div {
  border-right-color: rgba(214, 226, 242, 0.10);
}

.benchmark-facts p {
  color: #b5c1d0;
}

.results-card {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.96), rgba(35, 44, 57, 0.96));
  box-shadow: 0 16px 36px rgba(4, 10, 18, 0.12);
}

.result-controls {
  border-bottom-color: rgba(214, 226, 242, 0.10);
  background: rgba(255,255,255,0.04);
}

.result-controls label {
  color: #9fb0c4;
}

select {
  color: #e5edf5;
  background-color: rgba(255,255,255,0.08);
  border-color: rgba(214, 226, 242, 0.12);
}

.chart-header h3,
.findings-grid h3 {
  color: #eef3f8;
}

.chart-label {
  color: #dbe4ee;
}

.bar-track {
  background: rgba(255,255,255,0.08);
}

.bar-fill.low .bar-value {
  color: #c7d3df;
}

.result-insight {
  border-top-color: rgba(214, 226, 242, 0.10);
  background: rgba(201,88,81,.08);
}

.result-insight p {
  color: #d2dde8;
}

.data-note {
  color: #a7b7c7;
}

.findings-grid article {
  border-color: var(--line);
  background: rgba(255,255,255,.65);
  box-shadow: 0 10px 28px rgba(22,39,58,.025);
}

.trace-section {
  background:
    radial-gradient(circle at 82% 20%, rgba(22,142,146,.10), transparent 20rem),
    linear-gradient(180deg, #eef4f5, #e9efef);
  color: var(--ink);
  border-top: 1px solid rgba(22,39,58,.08);
  border-bottom: 1px solid rgba(22,39,58,.08);
}

.stack-card {
  border-color: rgba(22,39,58,.12);
  box-shadow: 0 18px 50px rgba(22,39,58,.10);
}

.abstract-grid {
  color: #4e6073;
}

.abstract-section details {
  border-top-color: var(--line);
}

.resources-section {
  background:
    radial-gradient(circle at 7% 10%, rgba(200,150,46,.09), transparent 22rem),
    #f0ece3;
  border-top-color: var(--line);
}

.resource-grid a {
  border-color: var(--line);
  background: rgba(255,255,255,.70);
  box-shadow: 0 10px 30px rgba(22,39,58,.03);
}

.resource-grid a:hover {
  border-color: rgba(22,142,146,.36);
  background: rgba(255,255,255,.92);
}

.citation-card {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.96), rgba(35, 44, 57, 0.96));
  box-shadow: 0 14px 32px rgba(4, 10, 18, 0.10);
}

.citation-header {
  border-bottom-color: rgba(214, 226, 242, 0.10);
}

.citation-header h3 {
  color: #eef3f8;
}

.citation-header button {
  border-color: rgba(214, 226, 242, 0.12);
  color: #dce5ef;
  background: rgba(255,255,255,0.06);
}

.citation-card pre {
  color: #c9d5e1;
}

footer {
  border-top-color: var(--line);
  background: #ece7de;
}

.footer-inner p {
  color: #778391;
}

.experiment-step,
.shift-card,
.step-card,
.mutation-card,
.hypotheses-grid article,
.splits-card,
.findings-grid article,
.fix-grid article,
.stack-card,
.attribution-card {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.96), rgba(35, 44, 57, 0.96));
  box-shadow: 0 14px 32px rgba(4, 10, 18, 0.10);
}

.experiment-step p,
.step-card h3,
.mutation-header h3,
.hypotheses-grid h3,
.splits-header h3,
.findings-grid h3,
.fix-grid h3,
.stack-card code,
.attribution-list,
.attribution-list a {
  color: #e8eef5;
}

.experiment-step em,
.step-card > p,
.step-result,
.mutation-header > p,
.mutation-table th,
.mutation-table td,
.hypotheses-grid p,
.splits-header > p,
.splits-table th,
.splits-table td,
.findings-grid p,
.fix-grid p,
.fix-verdict,
.stack-card span,
.attribution-copy {
  color: #b2c0cf;
}

.experiment-step.good-step {
  border-color: rgba(78, 141, 104, 0.28);
  background: linear-gradient(180deg, rgba(78, 141, 104, 0.16), rgba(35, 44, 57, 0.96));
}

.experiment-step.bad-step {
  border-color: rgba(183, 106, 101, 0.24);
  background: linear-gradient(180deg, rgba(183, 106, 101, 0.16), rgba(35, 44, 57, 0.96));
}

/* .shift-card.swap {
  border-color: rgba(183, 106, 101, 0.24);
  background: linear-gradient(150deg, rgba(183, 106, 101, 0.16), rgba(35, 44, 57, 0.96));
}

.shift-card.obf {
  border-color: rgba(124, 113, 170, 0.22);
  background: linear-gradient(150deg, rgba(124, 113, 170, 0.14), rgba(35, 44, 57, 0.96));
} */

.shift-card > p:last-child,
.mapping strong,
.pipeline-stage p,
.chart-header > p,
.benchmark-facts p,
.data-note {
  color: #b2c0cf;
}

.shift-card h3,
.task-content h3,
.benchmark-facts span,
.chart-header h3,
.trace-stat strong,
.fix-grid p strong,
.attribution-card .eyebrow {
  color: #eef3f8;
}

.mapping code,
.stage-icon,
.mutation-header code,
.mutation-table code {
  background: rgba(255,255,255,0.08);
  color: #eef3f8;
}

.splits-table td strong {
  color: #eef3f8;
}

.step-result {
  border-color: rgba(214, 226, 242, 0.10);
  background: rgba(255,255,255,0.05);
}

.step-result.good-note {
  border-color: rgba(78, 141, 104, 0.24);
  background: rgba(78, 141, 104, 0.14);
  color: #d7ecde;
}

.fix-verdict {
  border-color: rgba(183, 106, 101, 0.22);
  background: rgba(183, 106, 101, 0.10);
  color: #f0d7d4;
}

.trace-stat span {
  color: #a7b5c5;
}

@media (max-width: 1050px) {
  .metrics article:nth-child(-n+2) {
    border-bottom-color: var(--line);
  }
}

@media (max-width: 790px) {
  .benchmark-facts div:nth-child(-n+2) {
    border-bottom-color: var(--line);
  }
}

@media (max-width: 540px) {
  .metrics article,
  .benchmark-facts div {
    border-bottom-color: var(--line);
  }
}

.section-heading h2 {
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(20px, 3vw, 36px);
  line-height: 1.08;
  letter-spacing: -.03em;
  font-weight: 500;
  margin: 12px 0 18px;
  color: var(--ink);
}

.finding-section {
  padding-top: 88px;
  padding-bottom: 92px;
  background:
    radial-gradient(circle at 82% 18%, rgba(22, 142, 146, .06), transparent 20rem),
    linear-gradient(180deg, rgba(255, 255, 255, .52), rgba(239, 244, 245, .44));
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.finding-banner-header {
  display: flex;
  align-items: center;
  gap: 10px;
  margin-bottom: 10px;
}
.finding-banner-header h2 {
  margin: 0;
  line-height: 1;
}
.finding-banner-header img {
  width: 32px;
  height: 32px;
  border-radius: 50%;
  object-fit: cover;
}
.eyebrow-with-icon {
  display: flex;
  /* align-items: baseline; */
  gap: 10px;
  margin: 0;
  padding: 0;
}
.eyebrow {
  margin: 0;
}
.eyebrow-icon {
  width: 30px;
  height: 30px;
  object-fit: contain;
  flex-shrink: 0;
  margin: 0;
  padding: 0;
}
.finding-banner {
  margin-bottom: 10px;
  margin-top: 60px;
  padding: 14px 20px;
  border: 1px solid rgba(86, 113, 145, 0.12);
  /* border: 1px solid rgba(201, 88, 81, .28); */
  /* border-left: 5px solid var(--coral); */
  border-radius: var(--radius);
  /* background: linear-gradient(150deg, rgba(201, 88, 81, .07), rgba(255, 255, 255, .8)); */
  /* background: #E6F2FF; */
  background: #e8f1ef;
  /* box-shadow: 0 14px 40px rgba(22, 39, 58, .05); */
}
.finding-banner .micro-label { color: var(--coral); font-size: 11px; }
.finding-banner p {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(16px, 2vw, 20px);
  line-height: 1.5;
  color: var(--ink);
}
.finding-banner p + p { margin-top: 14px; }
.finding-banner strong { color: #a13c36; }
.finding-banner code {
  padding: 1px 7px;
  border-radius: 6px;
  background: rgba(22, 39, 58, .06);
  font-size: .85em;
  color: var(--ink);
}
.finding-banner .finding-sub {
  font-family: Inter, ui-sans-serif, system-ui, sans-serif;
  font-size: 15px;
  color: var(--muted);
}
/* --- Problem section --- */
.problem-layout {
  display: grid;
  grid-template-columns: 1fr 1.05fr;
  gap: 60px;
  align-items: start;
}
.problem-copy h3 {
  font-family: Georgia, serif;
  font-size: 26px;
  font-weight: 500;
  color: var(--ink);
  margin-bottom: 14px;
}
.problem-copy p { color: #4a5b6e; font-size: 20px; line-height: 1.7; }
.problem-copy code {
  padding: 1px 6px;
  border-radius: 6px;
  background: rgba(22, 39, 58, .06);
  font-size: .88em;
}
.experiment-steps { display: flex; gap: 80px; margin: 24px 0; align-items: center; justify-content: center; }
.experiment-step {
  padding: 16px 19px;
  border: 1px solid var(--line);
  border-radius: 13px;
  background: rgba(255, 255, 255, .75);
}
.experiment-step p { margin: 8px 0 0; font-size: 15px; color: var(--ink); }
.experiment-step em { color: var(--muted); font-size: 13px; }
.experiment-step.good-step { border-color: rgba(43, 139, 87, .3); background: rgba(43, 139, 87, .055); }
.experiment-step.good-step .micro-label { color: var(--green); }
.experiment-step.bad-step { border-color: rgba(201, 88, 81, .3); background: rgba(201, 88, 81, .055); }
.experiment-step.bad-step .micro-label { color: var(--coral); }
.check { color: var(--green); font-weight: 800; }
.cross { color: var(--coral); font-weight: 800; }
.problem-layout .hero-visual { position: sticky; top: 96px; }

.approach-section {
  /* background: linear-gradient(180deg, rgba(255, 255, 255, .55), rgba(239, 244, 245, .5)); */
  background: white;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.steps-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 16px;
  margin-bottom: 56px;
}
.step-card {
  display: flex;
  flex-direction: column;
  padding: 26px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, .82);
  box-shadow: 0 10px 28px rgba(22, 39, 58, .03);
}
.step-num {
  align-self: flex-start;
  padding: 4px 11px;
  border-radius: 20px;
  background: var(--cyan-soft);
  color: var(--cyan);
  font-size: 11px;
  font-weight: 850;
  letter-spacing: .08em;
  text-transform: uppercase;
}
.step-card h3 { font-size: 18px; line-height: 1.3; margin: 18px 0 12px; color: var(--ink); }
.step-card > p { color: var(--muted); font-size: 13px; line-height: 1.65; margin-bottom: 18px; }
.step-result {
  margin-top: auto;
  padding: 13px 15px;
  border-radius: 11px;
  border: 1px solid var(--line);
  background: rgba(22, 39, 58, .035);
  font-size: 12px;
  line-height: 1.55;
  color: #4a5b6e;
}
.step-result.good-note {
  border-color: rgba(43, 139, 87, .28);
  background: rgba(43, 139, 87, .06);
  color: #23573c;
}
.approach-section .shift-diagram { margin-bottom: 56px; }

.mutation-card {
  border: 1px solid var(--line);
  border-radius: var(--radius-lg);
  background: rgba(255, 255, 255, .88);
  box-shadow: 0 14px 40px rgba(22, 39, 58, .045);
  overflow: hidden;
}
.mutation-header {
  display: grid;
  grid-template-columns: 1.1fr .9fr;
  gap: 40px;
  align-items: end;
  padding: 28px 30px 18px;
}
.mutation-header h3 { font-family: Georgia, serif; font-size: 22px; font-weight: 500; color: var(--ink); margin: 6px 0 0; }
.mutation-header > p { margin: 0; color: var(--muted); font-size: 12px; line-height: 1.65; }
.mutation-header code { background: rgba(22, 39, 58, .06); border-radius: 5px; padding: 0 5px; }
.mutation-scroll { overflow-x: auto; padding: 6px 30px 8px; }
.mutation-table { border-collapse: collapse; width: 100%; min-width: 760px; }
.mutation-table th {
  text-align: left;
  padding: 12px 16px 12px 0;
  color: #66788c;
  font-size: 13px;
  /* text-transform: uppercase; */
  letter-spacing: .11em;
  white-space: nowrap;
}
.mutation-table td { padding: 8px 4px; text-align: center; border-top: 1px solid var(--line); }
.mutation-table thead td { border-top: 0; }
.mutation-table code {
  display: inline-block;
  min-width: 38px;
  padding: 6px 8px;
  border-radius: 8px;
  background: rgba(22, 39, 58, .05);
  font-size: 13px;
  color: var(--ink);
}
.mutation-table .swap-row code { background: var(--coral-soft); color: #a13c36; }
.mutation-table .obf-row code { background: var(--violet-soft); color: var(--violet); }
.mutation-card .data-note { padding: 12px 30px 22px; }

.hypotheses-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 14px;
  margin-bottom: 32px;
}
.hypotheses-grid article {
  padding: 22px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, .72);
  box-shadow: 0 8px 24px rgba(22, 39, 58, .025);
}
.hypotheses-grid span {
  display: inline-grid;
  place-items: center;
  min-width: 40px;
  height: 26px;
  padding: 0 8px;
  border-radius: 8px;
  background: var(--gold-soft);
  color: #936d1d;
  font: 800 12px/1 "SFMono-Regular", monospace;
}
.hypotheses-grid h3 { font-size: 15px; line-height: 1.3; margin: 14px 0 8px; color: var(--ink); }
.hypotheses-grid p { color: var(--muted); font-size: 12px; margin: 0 0 12px; line-height: 1.55; }
.hypotheses-grid code { color: var(--cyan); font-size: 11px; font-weight: 700; }

.splits-card {
  margin-top: 24px;
  border: 1px solid var(--line);
  border-radius: var(--radius-lg);
  background: rgba(255, 255, 255, .88);
  box-shadow: 0 14px 40px rgba(22, 39, 58, .045);
  overflow: hidden;
}
.splits-header {
  display: grid;
  grid-template-columns: 1.05fr .95fr;
  gap: 40px;
  align-items: end;
  padding: 28px 30px 16px;
}
.splits-header h3 { font-family: Georgia, serif; font-size: 22px; font-weight: 500; color: var(--ink); margin: 6px 0 0; }
.splits-header > p { margin: 0; color: var(--muted); font-size: 12px; line-height: 1.65; }
.splits-scroll { overflow-x: auto; padding: 8px 30px 26px; }
.splits-table { border-collapse: collapse; width: 100%; min-width: 720px; font-size: 13px; }
.splits-table th {
  text-align: left;
  padding: 10px 18px 10px 0;
  color: #66788c;
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: .11em;
  border-bottom: 1px solid var(--line);
  white-space: nowrap;
}
.splits-table td {
  padding: 13px 18px 13px 0;
  border-bottom: 1px solid var(--line);
  color: #43556a;
}
.splits-table tr:last-child td { border-bottom: 0; }
.splits-table td strong { color: var(--ink); }

.legend .na { background: #9aa8b8; }
.bar-fill.na { background: linear-gradient(90deg, rgba(154, 168, 184, .5), #9aa8b8); }
.bars.four { grid-template-columns: repeat(4, 1fr); }
.chart-group-label {
  margin-top: 8px;
  color: #7c8b9c;
  font-size: 14px;
  font-weight: 850;
  text-transform: uppercase;
  letter-spacing: .12em;
  text-align: center;
}
.chart-group-label:first-child { margin-top: 0; }

.fix-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 16px;
}
.fix-grid article {
  display: flex;
  flex-direction: column;
  padding: 26px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, .78);
  box-shadow: 0 10px 28px rgba(22, 39, 58, .03);
}
.fix-grid .micro-label { color: var(--coral); }
.fix-grid h3 { font-size: 18px; line-height: 1.3; margin: 8px 0 12px; color: var(--ink); }
.fix-grid p { color: var(--muted); font-size: 13px; line-height: 1.65; margin-bottom: 18px; }
.fix-grid p strong { color: var(--ink); }
.fix-verdict {
  margin-top: auto;
  padding: 13px 15px;
  border-radius: 11px;
  border: 1px solid rgba(201, 88, 81, .26);
  background: rgba(201, 88, 81, .055);
  color: #8c423d;
  font-size: 12px;
  font-weight: 650;
  line-height: 1.5;
}
.outlier-card {
  margin-top: 24px;
  display: flex;
  flex-direction: column;
  gap: 10px;
  /* display: grid;
  grid-template-columns: .85fr 1.15fr; */
  padding: 22px 24px;
  /* border: 1px solid rgba(22, 142, 146, .3); */
  border-radius: var(--radius-lg);
  border: 1px solid rgba(117, 134, 156, 0.20);
  background: linear-gradient(160deg, rgba(45, 142, 147, 0.10), rgba(37, 46, 60, 0.96));
  box-shadow: 0 14px 32px rgba(4, 10, 18, 0.10);
  /* background: linear-gradient(150deg, rgba(22, 142, 146, .07), rgba(255, 255, 255, .84)); */
  /* box-shadow: 0 14px 40px rgba(22, 39, 58, .045); */
}
.outlier-card .micro-label { color: var(--cyan); }
.outlier-card h3 { font-family: Georgia, serif; font-size: 23px; line-height: 1.25; font-weight: 500; color: var(--ink); margin: 8px 0 0; }
.outlier-card h3 { color: #eef3f8; }
.outlier-card > p { margin: 0; color: #c9d4df; font-size: 16px; line-height: 1.7; }

.summary-section {
  background:
    radial-gradient(circle at 15% 15%, rgba(22, 142, 146, .07), transparent 24rem),
    #eef2f2;
  border-top: 1px solid var(--line);
}
.summary-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 14px; }
.summary-item {
  padding: 24px 26px;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: rgba(255, 255, 255, .82);
  box-shadow: 0 8px 24px rgba(22, 39, 58, .03);
}
.summary-item strong { display: block; font-family: Georgia, serif; font-size: 19px; font-weight: 500; color: var(--ink); margin-bottom: 8px; }
.summary-item p { margin: 0; color: var(--muted); font-size: 13px; line-height: 1.6; }

.attribution-section {
  padding-top: 0;
  padding-bottom: 88px;
}
.attribution-card {
  padding: 26px 28px;
  border: 1px solid var(--line);
  border-radius: var(--radius-lg);
  background: rgba(255, 255, 255, .72);
  box-shadow: 0 10px 28px rgba(22, 39, 58, .03);
}
.attribution-card .eyebrow {
  margin: 0;
}
.attribution-copy {
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.65;
}
.attribution-list {
  margin: 14px 0 0;
  padding-left: 22px;
  color: #516273;
}
.attribution-list li {
  display: list-item;
}
.attribution-list li + li {
  margin-top: 8px;
}
.attribution-icon {
  width: 18px;
  height: 18px;
  margin-right: 10px;
  vertical-align: text-bottom;
  object-fit: contain;
}
.attribution-list a {
  color: #516273;
  text-decoration: none;
  font-size: 13px;
  line-height: 1.55;
}
.attribution-list a:hover {
  color: var(--ink);
  text-decoration: underline;
}

.micro-label,
.mapping span,
.stage-index,
.result-controls label,
.stack-card span {
  font-size: 11px;
  color: #617284;
}

.pipeline-stage p {
  font-size: 14px;
  color: #56687b;
}

.bar-value {
  color: #cccccc;
  font-size: 16px;
}

.window-bar strong,
.legend,
.resource-grid small,
.citation-header button,
.footer-inner p,
.finding-index {
  font-size: 16px;
  color: #56687b;
}

.chart-label {
  color: #8e99a4;
  font-size: 14px;
}

.task-tab,
.answer-status,
.trace-step,
.task-terminal pre,
.benchmark-facts p,
.chart-header > p,
.data-note,
.task-scale {
  font-size: 14px;
  color: #677584;
}

.experiment-step,
.shift-card,
.step-card,
.mutation-card,
.hypotheses-grid article,
.splits-card,
.findings-grid article,
.fix-grid article,
.stack-card,
.attribution-card {
  border-color: rgba(117, 134, 156, 0.20);
  background: linear-gradient(180deg, rgba(47, 58, 73, 0.96), rgba(35, 44, 57, 0.96));
  box-shadow: 0 14px 32px rgba(4, 10, 18, 0.10);
}

.experiment-step p,
.step-card h3,
.mutation-header h3,
.hypotheses-grid h3,
.splits-header h3,
.findings-grid h3,
.fix-grid h3,
.stack-card code,
.attribution-list,
.attribution-list a {
  color: #e8eef5;
}

.experiment-step em,
.step-card > p,
.step-result,
.mutation-header > p,
.mutation-table th,
.mutation-table td,
.hypotheses-grid p,
.splits-header > p,
.splits-table th,
.splits-table td,
.findings-grid p,
.fix-grid p,
.fix-verdict,
.stack-card span,
.attribution-copy,
.pipeline-stage p,
.chart-header > p,
.benchmark-facts p,
.data-note {
  color: #b2c0cf;
}

.experiment-step.good-step {
  border-color: rgba(78, 141, 104, 0.28);
  background: linear-gradient(180deg, rgba(78, 141, 104, 0.16), rgba(35, 44, 57, 0.96));
}

.experiment-step.bad-step {
  border-color: rgba(183, 106, 101, 0.24);
  background: linear-gradient(180deg, rgba(183, 106, 101, 0.16), rgba(35, 44, 57, 0.96));
}

/* .shift-card.swap {
  border-color: rgba(183, 106, 101, 0.24);
  background: linear-gradient(150deg, rgba(183, 106, 101, 0.16), rgba(35, 44, 57, 0.96));
}

.shift-card.obf {
  border-color: rgba(124, 113, 170, 0.22);
  background: linear-gradient(150deg, rgba(124, 113, 170, 0.14), rgba(35, 44, 57, 0.96));
} */

.shift-card > p:last-child,
.mapping strong,
.pipeline-stage p,
.chart-header > p,
.benchmark-facts p,
.data-note {
  color: #b2c0cf;
}

.shift-card h3,
.task-content h3,
.benchmark-facts span,
.chart-header h3,
.trace-stat strong,
.fix-grid p strong,
.attribution-card .eyebrow,
.splits-table td strong {
  color: #eef3f8;
}

.mapping code,
.stage-icon,
.mutation-header code,
.mutation-table code {
  background: rgba(255,255,255,0.08);
  color: #eef3f8;
}

.step-result {
  border-color: rgba(214, 226, 242, 0.10);
  background: rgba(255,255,255,0.05);
}

.step-result.good-note {
  border-color: rgba(78, 141, 104, 0.24);
  background: rgba(78, 141, 104, 0.14);
  color: #d7ecde;
}

.fix-verdict {
  border-color: rgba(183, 106, 101, 0.22);
  background: rgba(183, 106, 101, 0.10);
  color: #f0d7d4;
}

.trace-stat span {
  color: #a7b5c5;
}

.hero-citation {
  border-color: var(--line);
  background: rgba(255,255,255,.84);
  box-shadow: 0 10px 28px rgba(22,39,58,.03);
}

.hero-citation .citation-header {
  border-bottom-color: var(--line);
}

.hero-citation .citation-header h3,
.hero-citation .micro-label {
  color: var(--ink);
}

.hero-citation .citation-header button {
  border-color: var(--line);
  color: var(--ink);
  background: #f4f6f6;
}

.hero-citation pre {
  color: #42566c;
}

.experiment-step {
  border-color: var(--line);
  background: rgba(255, 255, 255, .75);
  box-shadow: none;
}

.experiment-step p {
  color: var(--ink);
}

.experiment-step em {
  color: var(--muted);
}

.experiment-step.good-step {
  border-color: rgba(43, 139, 87, .3);
  background: rgba(43, 139, 87, .055);
}

.experiment-step.bad-step {
  border-color: rgba(201, 88, 81, .3);
  background: rgba(201, 88, 81, .055);
}

.outlier-card {
  border: 0;
  /* background: #baed9152; */
  background: rgba(78, 141, 104, 0.12);
  box-shadow: none;
}

.outlier-card h3 {
  color: var(--ink);
}

.outlier-card > p {
  color: #45576a;
}

.mutation-table thead code {
  background: rgba(45, 142, 147, 0.08);
  font-size: 15px;
  font-weight: 900;
  color: var(--cyan);
}

.mutation-table .swap-row code {
  background: rgba(183, 106, 101, 0.08);
  font-size: 15px;
  font-weight: 900;
  color: var(--coral);
}

.mutation-table .obf-row code {
  background: rgba(124, 113, 170, 0.08);
  font-size: 15px;
  font-weight: 900;
  color: var(--violet);
}

@media (max-width: 1050px) {
  .problem-layout { grid-template-columns: 1fr; gap: 44px; }
  .problem-layout .hero-visual { position: static; max-width: 690px; }
  .steps-grid, .fix-grid { grid-template-columns: 1fr; }
  .hypotheses-grid { grid-template-columns: repeat(2, 1fr); }
  .mutation-header, .splits-header, .outlier-card { grid-template-columns: 1fr; gap: 14px; }
}
@media (max-width: 790px) {
  .finding-section {
    padding-top: 66px;
    padding-bottom: 70px;
  }
  .finding-banner { padding: 26px 22px; }
  .hypotheses-grid, .summary-grid { grid-template-columns: 1fr; }
  .bars.four { grid-template-columns: 1fr; }
}

:root {
  --cyan-text: #236f73;
  --gold-text: #806027;
  --coral-text: #9a4f4a;
  --violet-text: #66598e;
  --green-text: #3f7557;
  --cyan-on-dark: #78c5c2;
  --gold-on-dark: #d5af6f;
  --coral-on-dark: #d58b85;
  --violet-on-dark: #aaa0d1;
  --green-on-dark: #86b99a;
}

h1 {
  font-size: clamp(42px, 4.4vw, 62px);
  line-height: 1.04;
  max-width: 1120px;
}

@media (max-width: 790px) {
  h1 {
    font-size: clamp(35px, 10vw, 48px);
    line-height: 1.06;
  }
}

.authors a {
  color: var(--cyan-text);
  text-decoration-color: rgba(35, 111, 115, 0.35);
  text-underline-offset: 3px;
}

.authors a:hover {
  color: #195c60;
  text-decoration: underline;
}

.button {
  border-color: #334252;
  background: #334252;
  color: #f8fbfb;
  box-shadow: 0 7px 18px rgba(34, 50, 67, 0.12);
  transition: transform 160ms ease, background-color 160ms ease,
              border-color 160ms ease, box-shadow 160ms ease;
}

.button:hover {
  border-color: #263543;
  background: #263543;
  color: #ffffff;
  box-shadow: 0 9px 22px rgba(34, 50, 67, 0.16);
  transform: translateY(-1px);
}


.finding-banner {
  border: 1px solid rgba(45, 142, 147, 0.20);
  border-left: 4px solid var(--cyan);
  background:
    linear-gradient(135deg, rgba(45, 142, 147, 0.11), rgba(255, 255, 255, 0.72));
  box-shadow: 0 10px 28px rgba(34, 50, 67, 0.035);
}

.finding-banner .micro-label {
  color: var(--coral-text);
}

.experiment-step,
.shift-card,
.step-card,
.hypotheses-grid article,
.findings-grid article,
.fix-grid article,
.attribution-card {
  border-color: rgba(34, 50, 67, 0.11);
  background: rgba(255, 255, 255, 0.76);
  box-shadow: 0 10px 28px rgba(34, 50, 67, 0.035);
}

.experiment-step p,
.step-card h3,
.hypotheses-grid h3,
.findings-grid h3,
.fix-grid h3,
.attribution-list,
.attribution-list a,
.shift-card h3 {
  color: var(--ink);
}

.experiment-step em,
.step-card > p,
.hypotheses-grid p,
.findings-grid p,
.fix-grid p,
.attribution-copy,
.shift-card > p:last-child {
  color: var(--muted);
}

.shift-card .mapping strong,
.fix-grid p strong {
  color: var(--ink);
}

.shift-card .mapping span,
.step-card .micro-label,
.hypotheses-grid .micro-label,
.findings-grid .micro-label,
.attribution-card .micro-label {
  color: #526579;
}

.shift-card .mapping code,
.step-card .stage-icon {
  color: var(--ink);
  background: rgba(34, 50, 67, 0.055);
}

.step-result {
  border-color: rgba(34, 50, 67, 0.10);
  background: rgba(34, 50, 67, 0.035);
  color: #526579;
}

.step-result.good-note {
  border-color: rgba(78, 141, 104, 0.24);
  background: rgba(78, 141, 104, 0.10);
  color: var(--green-text);
}

.fix-grid .micro-label {
  color: var(--coral-text);
}

.fix-verdict {
  border-color: rgba(183, 106, 101, 0.24);
  background: rgba(183, 106, 101, 0.08);
  color: #85443f;
}

.outlier-card {
  border: 1px solid rgba(78, 141, 104, 0.25);
  background:
    linear-gradient(135deg, rgba(78, 141, 104, 0.13), rgba(255, 255, 255, 0.82));
  box-shadow: 0 10px 28px rgba(34, 50, 67, 0.035);
}

.outlier-card .micro-label {
  color: var(--green-text);
}

.outlier-card h3 {
  color: var(--ink);
}

.outlier-card > p {
  color: #45576a;
}

.mutation-table thead code {
  color: var(--cyan-text);
}

.mutation-table .swap-row code {
  color: var(--coral-text);
}

.mutation-table .obf-row code {
  color: var(--violet-text);
}

.mutation-card .micro-label,
.splits-card .micro-label,
.stack-card .micro-label,
.results-card .micro-label,
.task-panel .micro-label,
.pipeline .micro-label {
  color: #c2cfdd;
}

.experiment-step.good-step .micro-label {
  color: var(--green-text);
}

.experiment-step.bad-step .micro-label {
  color: var(--coral-text);
}

.experiment-step.good-step {
  border-color: rgba(78, 141, 104, 0.25);
  background: rgba(78, 141, 104, 0.08);
}

.experiment-step.bad-step {
  border-color: rgba(183, 106, 101, 0.24);
  background: rgba(183, 106, 101, 0.075);
}

.shift-card.standard .micro-label,
.shift-card.standard .mapping code {
  color: var(--cyan-text);
}

.shift-card.standard .mapping code {
  background: var(--cyan-soft);
}

.shift-card.swap .micro-label,
.shift-card.swap .mapping code {
  color: var(--coral-text);
}

.shift-card.swap .mapping code {
  background: var(--coral-soft);
}

.shift-card.obf .micro-label,
.shift-card.obf .mapping code {
  color: var(--violet-text);
}

.shift-card.obf .mapping code {
  background: var(--violet-soft);
}

.step-num,
.hypotheses-grid code {
  color: var(--cyan-text);
}

.hypotheses-grid span {
  color: var(--gold-text);
}