@font-face {
  font-family: "Lab Sans";
  src: url("/assets/fonts/NotoSans-Regular.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Lab Sans";
  src: url("/assets/fonts/NotoSans-Bold.ttf") format("truetype");
  font-style: normal;
  font-weight: 700;
  font-display: swap;
}

@font-face {
  font-family: "Lab Mono";
  src: url("/assets/fonts/NotoSansMono-Regular.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

/* The Simplified Chinese glyphs are subset from Noto Sans CJK SC. They extend
   the two site families without replacing their Latin letterforms. */
@font-face {
  font-family: "Lab Sans";
  src: url("/assets/fonts/NotoSansSC-Subset-Regular.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Lab Sans";
  src: url("/assets/fonts/NotoSansSC-Subset-Bold.woff2") format("woff2");
  font-style: normal;
  font-weight: 700;
  font-display: swap;
}

@font-face {
  font-family: "Lab Mono";
  src: url("/assets/fonts/NotoSansSC-Subset-Regular.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Lab Mono";
  src: url("/assets/fonts/NotoSansSC-Subset-Bold.woff2") format("woff2");
  font-style: normal;
  font-weight: 700;
  font-display: swap;
}

:root {
  color-scheme: light;
  --paper: #f3f2ed;
  --paper-bright: #fbfbf8;
  --ink: #101512;
  --ink-soft: #3e4741;
  --muted: #6e7771;
  --line: #d8ddd8;
  --line-dark: #bdc6bf;
  --green: #008a4b;
  --green-dark: #00683a;
  --green-soft: #dcefe4;
  --green-pale: #edf7f1;
  --black-green: #07120d;
  --yellow: #d8f52d;
  --coral: #f2816d;
  --blue: #66b8d7;
  --violet: #9f78c7;
  --control-border: #c1cbc3;
  --content: 1220px;
  --article: 760px;
  --shadow-xs: 0 1px 2px rgba(7,18,13,.055), 0 5px 14px rgba(7,18,13,.05);
  --shadow-sm: 0 1px 2px rgba(7,18,13,.055), 0 10px 28px rgba(7,18,13,.075);
  --shadow-md: 0 2px 3px rgba(7,18,13,.055), 0 18px 46px rgba(7,18,13,.1);
  --shadow-lg: 0 2px 3px rgba(7,18,13,.055), 0 26px 72px rgba(7,18,13,.12);
}

* { box-sizing: border-box; }

html {
  scroll-behavior: smooth;
  scrollbar-color: #aeb7b1 transparent;
}

body {
  margin: 0;
  overflow-x: hidden;
  background: var(--paper);
  color: var(--ink);
  font-family: "Lab Sans", sans-serif;
  font-size: 16px;
  line-height: 1.6;
  font-feature-settings: "kern" 1, "tnum" 1;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

::selection { background: #0b6f46; color: #fff; }

a { color: inherit; }

button, input { font: inherit; }
.visually-hidden { position: absolute !important; width: 1px !important; height: 1px !important; padding: 0 !important; overflow: hidden !important; clip: rect(0 0 0 0) !important; white-space: nowrap !important; border: 0 !important; }

img, svg { max-width: 100%; }

:focus-visible {
  outline: 2px solid var(--green);
  outline-offset: 4px;
}

.skip-link {
  position: fixed;
  z-index: 100;
  top: 10px;
  left: 10px;
  padding: 10px 14px;
  transform: translateY(-150%);
  background: var(--ink);
  color: #fff;
  border-radius: 6px;
}

.skip-link:focus { transform: none; }

.page-shell { min-height: 100vh; }

.site-header {
  position: relative;
  z-index: 30;
  width: min(var(--content), calc(100% - 48px));
  min-height: 90px;
  margin-inline: auto;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 32px;
  border-bottom: 1px solid var(--line-dark);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  text-decoration: none;
}

.brand-mark {
  width: 38px;
  height: 38px;
  display: grid;
  place-items: center;
  flex: 0 0 auto;
  border-radius: 9px;
  background: var(--black-green);
  color: #2fe985;
  border: 1px solid rgba(6,30,18,.9);
  box-shadow: inset 0 1px 0 rgba(255,255,255,.1), 0 1px 2px rgba(7,18,13,.18), 0 7px 18px rgba(7,18,13,.16);
  font: 400 23px/1 "Lab Mono", monospace;
}

.brand-copy { display: grid; line-height: 1.05; }
.brand-copy strong { font-size: 16px; letter-spacing: -.02em; }
.brand-copy small { margin-top: 5px; color: var(--muted); font: 10px/1 "Lab Mono", monospace; letter-spacing: .14em; text-transform: uppercase; }

.site-nav { display: flex; align-items: center; gap: 4px; }
.site-nav a { padding: 10px 12px; border-radius: 8px; color: var(--ink-soft); font-size: 13px; font-weight: 700; text-decoration: none; }
.site-nav a:hover, .site-nav a[aria-current="page"] { background: var(--paper-bright); color: var(--green-dark); box-shadow: var(--shadow-sm); }
.site-nav .nav-github {
  min-height: 38px;
  margin-left: 6px;
  padding: 8px 12px 8px 10px;
  display: inline-flex;
  align-items: center;
  gap: 8px;
  border: 1px solid var(--line-dark);
  background: rgba(255,255,255,.5);
  color: var(--ink);
  box-shadow: 0 5px 14px rgba(7,18,13,.07);
}
.site-nav .nav-github:hover { border-color: rgba(0,104,58,.34); background: #fff; color: var(--green-dark); box-shadow: 0 8px 20px rgba(7,18,13,.1); }
.nav-github-icon { width: 17px; height: 17px; flex: 0 0 auto; fill: currentColor; }
.header-controls { display: flex; align-items: center; gap: 4px; }
.language-switcher { position: relative; margin-left: 4px; }
.language-switcher summary {
  min-width: 56px;
  min-height: 38px;
  padding: 8px 10px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 7px;
  border: 1px solid var(--control-border);
  border-radius: 8px;
  background: linear-gradient(180deg, rgba(255,255,255,.8), rgba(247,249,247,.62));
  color: var(--ink-soft);
  box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.88);
  cursor: pointer;
  font-size: 12px;
  font-weight: 700;
  list-style: none;
  user-select: none;
  transition: transform .16s ease, border-color .16s ease, background .16s ease, color .16s ease, box-shadow .16s ease;
}
.language-switcher summary::-webkit-details-marker { display: none; }
.language-switcher summary:hover, .language-switcher[open] summary { transform: translateY(-1px); border-color: rgba(0,104,58,.34); background: #fff; color: var(--green-dark); box-shadow: 0 1px 2px rgba(7,18,13,.05), 0 9px 22px rgba(7,18,13,.09), inset 0 1px 0 #fff; }
.language-switcher summary:active { transform: translateY(0); box-shadow: 0 1px 2px rgba(7,18,13,.08), inset 0 1px 2px rgba(7,18,13,.055); }
.language-chevron { margin-top: -3px; color: var(--muted); font-size: 14px; transition: transform .16s ease; }
.language-switcher[open] .language-chevron { transform: rotate(180deg) translateY(-2px); }
.language-menu {
  position: absolute;
  z-index: 60;
  top: calc(100% + 9px);
  right: 0;
  width: 184px;
  padding: 7px;
  display: grid;
  gap: 3px;
  border: 1px solid var(--line-dark);
  border-radius: 10px;
  background: rgba(251,251,248,.97);
  box-shadow: 0 18px 42px rgba(7,18,13,.13);
  backdrop-filter: blur(16px);
}
.language-menu a { padding: 10px; display: grid; grid-template-columns: 34px 1fr; align-items: center; gap: 8px; border-radius: 7px; color: var(--ink-soft); font-size: 12px; font-weight: 400; text-decoration: none; }
.language-menu a:hover { background: var(--paper-bright); color: var(--green-dark); }
.language-menu a > span { color: var(--muted); font: 10px/1 "Lab Mono", monospace; }
.language-menu a > strong { font-size: 12px; font-weight: 700; }
.language-menu a[aria-current="true"] { background: var(--green-pale); color: var(--green-dark); box-shadow: none; }
.nav-rule { width: 1px; height: 24px; margin: 0 7px; background: var(--line-dark); }
.nav-toggle { display: none; }

.home-hero {
  position: relative;
  width: min(var(--content), calc(100% - 48px));
  min-height: 680px;
  margin-inline: auto;
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(440px, .95fr);
  align-items: center;
  gap: 64px;
  border-bottom: 1px solid var(--line-dark);
}

.hero-copy { position: relative; z-index: 2; padding: 90px 0 100px; }

.eyebrow, .section-index {
  margin: 0 0 22px;
  color: var(--green-dark);
  font: 12px/1.3 "Lab Mono", monospace;
  letter-spacing: .11em;
  text-transform: uppercase;
}

.eyebrow::before {
  content: "";
  display: inline-block;
  width: 26px;
  height: 2px;
  margin-right: 11px;
  vertical-align: 4px;
  background: var(--green);
}

.home-hero h1 {
  max-width: 790px;
  margin: 0;
  font-size: clamp(58px, 7.25vw, 104px);
  line-height: .94;
  letter-spacing: -.068em;
  font-weight: 700;
}
.locale-ru .home-hero h1 { font-size: clamp(56px, 6.35vw, 92px); }
.locale-zh .home-hero h1 { font-size: clamp(54px, 6.1vw, 88px); letter-spacing: -.055em; }

.hero-lead {
  max-width: 650px;
  margin: 34px 0 0;
  color: var(--ink-soft);
  font-size: 20px;
  line-height: 1.55;
  letter-spacing: -.015em;
}

.hero-actions, .story-actions { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 32px; }

.button {
  min-height: 44px;
  padding: 0 18px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border: 1px solid var(--control-border);
  border-radius: 9px;
  font-size: 13px;
  font-weight: 700;
  letter-spacing: -.005em;
  text-decoration: none;
  transition: transform .16s ease, border-color .16s ease, box-shadow .16s ease, background .16s ease, color .16s ease;
}

.button:hover { transform: translateY(-1px); }
.button:active { transform: translateY(0); }
.button--primary { border-color: #07120d; background: linear-gradient(180deg, #151d18 0%, #07120d 100%); color: #fff; box-shadow: 0 1px 2px rgba(7,18,13,.22), 0 9px 22px rgba(7,18,13,.18), inset 0 1px 0 rgba(255,255,255,.1); }
.button--primary:hover { border-color: #005f35; background: linear-gradient(180deg, #087445 0%, #005d34 100%); box-shadow: 0 1px 2px rgba(0,62,34,.18), 0 12px 28px rgba(0,104,58,.2), inset 0 1px 0 rgba(255,255,255,.14); }
.button--primary:active { box-shadow: 0 1px 2px rgba(7,18,13,.18), inset 0 2px 3px rgba(0,0,0,.16); }
.button--quiet { background: linear-gradient(180deg, rgba(255,255,255,.9), rgba(247,249,247,.7)); color: var(--ink); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.92); }
.button--quiet:hover { border-color: rgba(0,104,58,.32); background: #fff; color: var(--green-dark); box-shadow: 0 1px 2px rgba(7,18,13,.05), 0 9px 22px rgba(7,18,13,.085), inset 0 1px 0 #fff; }
.button--quiet:active { box-shadow: 0 1px 2px rgba(7,18,13,.07), inset 0 1px 2px rgba(7,18,13,.055); }
.button-icon { width: 17px; height: 17px; margin-right: 8px; flex: 0 0 auto; fill: currentColor; }

.hero-field {
  position: relative;
  width: min(100%, 540px);
  aspect-ratio: 1;
  justify-self: end;
  perspective: 900px;
  isolation: isolate;
}

.hero-field::before {
  content: "";
  position: absolute;
  inset: 8%;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(0,138,75,.14), transparent 63%);
  filter: blur(8px);
}

.field-plane {
  position: absolute;
  inset: 17%;
  border: 1px solid rgba(0,104,58,.26);
  background-image: linear-gradient(rgba(0,104,58,.09) 1px, transparent 1px), linear-gradient(90deg, rgba(0,104,58,.09) 1px, transparent 1px);
  background-size: 32px 32px;
  transform-style: preserve-3d;
  box-shadow: inset 0 0 45px rgba(255,255,255,.62);
}

.field-plane--a { transform: rotateX(62deg) rotateZ(-19deg) translateZ(-45px); }
.field-plane--b { transform: rotateX(62deg) rotateZ(-19deg) translateZ(18px); opacity: .55; }
.field-plane--c { inset: 27%; transform: rotateX(62deg) rotateZ(-19deg) translateZ(82px); border-color: rgba(216,245,45,.55); opacity: .82; }

.field-mark {
  position: absolute;
  z-index: 3;
  top: 48%;
  left: 50%;
  width: 86px;
  height: 86px;
  display: grid;
  place-items: center;
  border-radius: 20px;
  transform: translate(-50%, -50%) rotate(-5deg);
  background: var(--black-green);
  color: #2fe985;
  box-shadow: 0 26px 55px rgba(7,18,13,.25), inset 0 0 0 1px rgba(255,255,255,.09);
  font: 44px/1 "Lab Mono", monospace;
}

.field-label { position: absolute; z-index: 4; padding: 5px 8px; background: var(--paper); color: var(--muted); font: 9px/1 "Lab Mono", monospace; letter-spacing: .1em; text-transform: uppercase; }
.field-label--a { top: 19%; left: 12%; }
.field-label--b { top: 48%; right: 5%; }
.field-label--c { bottom: 15%; left: 22%; }

.section { width: min(var(--content), calc(100% - 48px)); margin-inline: auto; padding: 112px 0; border-bottom: 1px solid var(--line-dark); }
.section-heading { margin-bottom: 42px; display: flex; align-items: end; justify-content: space-between; gap: 30px; }
.section-heading h2 { margin: 0; font-size: clamp(38px, 4.5vw, 62px); line-height: 1; letter-spacing: -.052em; }
.section-heading .section-index { margin-bottom: 17px; }
.text-link, .inline-link { color: var(--green-dark); font-size: 13px; font-weight: 700; text-decoration: none; border-bottom: 1px solid rgba(0,104,58,.3); }
.text-link:hover, .inline-link:hover { border-color: var(--green-dark); }

.lead-story {
  min-height: 510px;
  display: grid;
  grid-template-columns: 1.03fr .97fr;
  overflow: hidden;
  border: 1px solid #c4cec6;
  border-radius: 16px;
  background: var(--paper-bright);
  box-shadow: var(--shadow-md), inset 0 1px 0 rgba(255,255,255,.9);
}

.lead-story-art { min-height: 460px; background: var(--black-green); }
.lead-story-art .research-art { height: 100%; border: 0; border-radius: 0; }
.lead-story-copy { padding: clamp(38px, 5vw, 70px); display: flex; flex-direction: column; justify-content: center; }
.story-meta, .card-meta, .article-meta { display: flex; flex-wrap: wrap; align-items: center; gap: 12px; color: var(--muted); font: 10px/1.3 "Lab Mono", monospace; letter-spacing: .08em; text-transform: uppercase; }
.story-meta span:first-child, .card-meta span:first-child { color: var(--green-dark); }
.story-meta span + time::before, .card-meta span + time::before { content: "·"; margin-right: 12px; color: var(--line-dark); }
.lead-story h3 { margin: 20px 0; font-size: clamp(38px, 4.7vw, 66px); line-height: .99; letter-spacing: -.055em; }
.lead-story h3 a { text-decoration: none; }
.lead-story p { margin: 0; color: var(--ink-soft); font-size: 17px; line-height: 1.7; }

.research-grid { width: 100%; min-width: 0; margin-top: 34px; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 18px; }
.research-card { min-width: 0; overflow: hidden; border: 1px solid #ccd4ce; border-radius: 12px; background: rgba(251,251,248,.9); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.9); transition: transform .18s ease, box-shadow .18s ease, border-color .18s ease; }
.research-card:hover { transform: translateY(-3px); border-color: #b7c3ba; box-shadow: var(--shadow-md); }
.card-art-link { width: 100%; min-width: 0; display: block; height: 215px; background: var(--black-green); }
.card-body { min-width: 0; min-height: 310px; padding: 26px; display: flex; flex-direction: column; }
.research-card h3 { margin: 16px 0 14px; font-size: 24px; line-height: 1.15; letter-spacing: -.035em; }
.research-card h3 a { text-decoration: none; }
.research-card p { margin: 0; color: var(--ink-soft); font-size: 14px; line-height: 1.65; }
.card-foot { margin-top: auto; padding-top: 28px; display: flex; justify-content: space-between; align-items: center; gap: 15px; color: var(--muted); font: 10px/1.2 "Lab Mono", monospace; text-transform: uppercase; }

/* Article diagrams use one measured drawing system: 640 × 420, shared type,
   shared strokes and semantic colour. The artwork stays vector-sharp at every size. */
.research-art {
  position: relative;
  width: 100%;
  min-height: 0;
  aspect-ratio: 640 / 420;
  overflow: hidden;
  isolation: isolate;
  border: 1px solid rgba(255,255,255,.08);
  border-radius: 14px;
  background: #07120d;
  box-shadow: inset 0 1px rgba(255,255,255,.035), 0 16px 38px rgba(7,18,13,.13);
}
.research-art--compact { height: 100%; aspect-ratio: auto; border: 0; border-radius: 0; box-shadow: none; }
.research-art svg { display: block; width: 100%; height: 100%; }
.research-art text { fill: #dcece3; font-family: "Lab Sans", sans-serif; font-size: 12px; font-variant-numeric: tabular-nums; }
.research-art .diagram-kicker,
.research-art .diagram-micro,
.research-art .diagram-label,
.research-art .diagram-caption,
.research-art .diagram-tag text,
.research-art .diagram-frame-tick,
.research-art .trace-axis text { font-family: "Lab Mono", monospace; }
.research-art .diagram-kicker { fill: #7ba18d; font-size: 11px; letter-spacing: 1.35px; }
.research-art .diagram-kicker--strong { fill: #a7c5b5; font-weight: 700; }
.research-art .diagram-micro { fill: #6f9d86; font-size: 8.5px; letter-spacing: .7px; }
.research-art .diagram-micro--coral { fill: #f09b89; }
.research-art .diagram-label { fill: #8ba797; font-size: 9px; letter-spacing: .5px; }
.research-art .diagram-caption { fill: #8ba797; font-size: 9.5px; letter-spacing: .15px; }
.research-art .diagram-value { fill: #e9f4ee; font-size: 19px; font-weight: 700; }
.research-art .diagram-value--compact { font-size: 13px; }
.research-art .diagram-value--coral { fill: #f29b88; }
.research-art .diagram-number { fill: #2fe985; font-size: 24px; font-weight: 700; letter-spacing: -.7px; }
.research-art .diagram-number--blue { fill: #77c9e7; }
.research-art .diagram-number--coral { fill: #f29b88; }
.research-art .diagram-frame-tick { fill: none; stroke: rgba(104,155,129,.45); stroke-width: 1; }
.research-art .diagram-divider { fill: none; stroke: rgba(143,180,160,.22); stroke-width: 1; }
.research-art .diagram-arrow { fill: none; stroke: #4fc889; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
.research-art .diagram-panel > rect { fill: rgba(13,28,20,.95); stroke: rgba(132,171,150,.25); stroke-width: 1; }
.research-art .diagram-panel--green > rect { fill: rgba(9,35,22,.96); stroke: rgba(47,233,133,.58); }
.research-art .diagram-panel--blue > rect { fill: rgba(8,28,36,.96); stroke: rgba(102,184,215,.58); }
.research-art .diagram-panel--yellow > rect { fill: rgba(31,35,15,.94); stroke: rgba(216,245,45,.48); }
.research-art .diagram-panel--coral > rect { fill: rgba(40,22,18,.95); stroke: rgba(242,129,109,.58); }
.research-art .diagram-tag rect { fill: #0c281c; stroke: rgba(47,233,133,.48); }
.research-art .diagram-tag text { fill: #72eaa8; font-size: 8px; letter-spacing: .6px; text-anchor: middle; }
.research-art .diagram-tag--blue rect { fill: #0a222a; stroke: rgba(102,184,215,.52); }
.research-art .diagram-tag--blue text { fill: #8ed6ed; }
.research-art .diagram-tag--yellow rect { fill: #252a10; stroke: rgba(216,245,45,.48); }
.research-art .diagram-tag--yellow text { fill: #e4f678; }
.research-art .diagram-dot { fill: #406352; stroke: #719681; stroke-width: .6; }
.research-art .diagram-dot--accent { fill: #2fe985; stroke: #9bf5c3; }

.card-art-link { height: auto; aspect-ratio: 640 / 420; }
.lead-story-art { display: flex; align-items: center; }
.lead-story-art .research-art { height: auto; aspect-ratio: 640 / 420; }
.article-hero > .research-art { align-self: center; min-height: 0; aspect-ratio: 640 / 420; }

/* FROST-GKR trace */
.art--frost .trace-axis path { fill: none; stroke: rgba(137,180,158,.42); stroke-width: 1; }
.art--frost .trace-axis text { fill: #729582; font-size: 8px; }
.art--frost .trace-plane { stroke-width: 1.15; }
.art--frost .trace-plane--back { fill: rgba(242,129,109,.08); stroke: rgba(242,129,109,.52); }
.art--frost .trace-plane--mid { fill: rgba(159,120,199,.08); stroke: rgba(159,120,199,.5); }
.art--frost .trace-plane--front { fill: rgba(102,184,215,.1); stroke: rgba(102,184,215,.64); }
.art--frost .trace-edge, .art--frost .trace-column { fill: none; stroke: rgba(115,186,153,.33); stroke-width: 1; }
.art--frost .trace-column { stroke-dasharray: 3 4; }
.art--frost .trace-points circle { fill: #2fe985; stroke: #b8f8d5; stroke-width: 1.2; filter: url(#glow-frost); }
.art--frost .trace-callout path { fill: none; stroke: rgba(102,184,215,.62); }
.art--frost .trace-callout rect { fill: #0b2022; stroke: rgba(102,184,215,.45); }

/* Authenticated proof classes */
.art--classes .cadence-ruler path { fill: none; stroke: rgba(47,233,133,.48); }
.art--classes .cadence-ruler circle { fill: #2fe985; stroke: #b6f8d3; }
.art--classes .cadence-ruler--blue path { stroke: rgba(102,184,215,.62); }
.art--classes .cadence-ruler--blue circle { fill: #66b8d7; stroke: #d5f4ff; }
.art--classes .class-bridge path { stroke: rgba(216,245,45,.5); }
.art--classes .class-bridge circle { fill: #d8f52d; stroke: #f2ffc0; }

/* Binary-field kernels */
.art--kernel .kernel-register rect, .art--kernel .kernel-digest rect { fill: #0c1c15; stroke: rgba(47,233,133,.42); }
.art--kernel .kernel-register path { stroke: rgba(115,155,134,.3); }
.art--kernel .kernel-register text:not(.diagram-micro) { fill: #a6c1b2; font: 10px "Lab Mono", monospace; text-anchor: middle; }
.art--kernel .kernel-digest rect { fill: #092521; stroke: rgba(102,184,215,.55); }
.art--kernel .lane-cells circle { filter: url(#glow-kernel); }

/* State synchronization */
.art--state .header-rail > path { stroke: rgba(121,159,139,.42); }
.art--state .header-rail > g > rect { fill: #0c1c15; stroke: rgba(126,164,144,.34); }
.art--state .header-rail > g > text { fill: #90aa9c; font: 9px "Lab Mono", monospace; text-anchor: middle; }
.art--state .header-rail .header-boundary rect { fill: #0b2a1a; stroke: #2fe985; filter: url(#shadow-state); }
.art--state .header-rail .header-boundary .diagram-value { fill: #dff8e9; }
.art--state .state-segments rect { fill: #112e25; stroke: rgba(102,184,215,.54); }
.art--state .state-segments path { stroke: rgba(168,218,235,.48); }
.research-art .proof-seal circle { fill: #0a3922; stroke: #2fe985; }
.research-art .proof-seal path { fill: none; stroke: #bffbd8; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }

/* Shared authentication walk */
.art--walk .family-lines rect { fill: #183127; stroke: rgba(93,142,116,.32); }
.art--walk .family-lines rect:nth-child(3n+1) { fill: #0d4730; stroke: rgba(47,233,133,.55); }
.art--walk .walk-merge path { fill: none; stroke: rgba(99,189,143,.4); stroke-width: 1.2; }
.art--walk .round-column rect { fill: #092129; stroke: rgba(102,184,215,.58); }
.art--walk .round-column > path { stroke: rgba(102,184,215,.48); }
.art--walk .round-column circle { fill: #66b8d7; stroke: #d2f1fb; }

/* Recursive fixed point */
.art--recursion .fixed-loop path { fill: none; stroke: rgba(216,245,45,.65); stroke-width: 1.4; }
.art--recursion .proof-core { fill: rgba(255,255,255,.035); stroke: rgba(161,201,180,.3); }
.art--recursion .proof-step .proof-core + text { fill: #b7d5c4; font: 11px "Lab Mono", monospace; }

/* Owner-batched authorization */
.art--authorization .page-grid circle { filter: url(#glow-authorization); }
.art--authorization .proof-ring { fill: none; stroke: #2fe985; stroke-width: 2; stroke-dasharray: 4 5; }
.art--authorization .block-pages rect { fill: #12313b; stroke: rgba(102,184,215,.62); }
.art--authorization .block-pages rect:nth-child(even) { fill: #0b252e; }

/* Mixed-opening source binding */
.art--binding .merkle-tree path { fill: none; stroke: rgba(123,177,149,.54); }
.art--binding .merkle-tree circle { fill: #123123; stroke: rgba(47,233,133,.68); }
.art--binding .merkle-tree .merkle-open { stroke: #2fe985; stroke-width: 2.3; filter: url(#glow-binding); }
.art--binding .query-gate > rect { fill: #202710; stroke: rgba(216,245,45,.56); }
.art--binding .query-gate > path { stroke: rgba(216,245,45,.55); }
.art--binding .query-gate > circle { fill: #d8f52d; }
.art--binding .fri-layers rect { fill: #10303b; stroke: rgba(102,184,215,.6); }
.art--binding .fri-layers path { stroke: rgba(102,184,215,.55); }
.art--binding .rejected-splice path { fill: none; stroke: rgba(242,129,109,.78); stroke-width: 1.5; }

/* PCS comparison */
.art--pcs .byte-stack rect { fill: #d8f52d; opacity: .24; stroke: rgba(216,245,45,.65); }
.art--pcs .byte-stack rect:nth-child(2) { opacity: .38; }
.art--pcs .byte-stack rect:nth-child(3) { opacity: .55; }
.art--pcs .byte-stack rect:nth-child(4) { opacity: .76; }
.art--pcs .source-identity rect { fill: #321b17; stroke: rgba(242,129,109,.65); }
.art--pcs .source-identity > path { stroke: rgba(242,129,109,.5); }
.art--pcs .source-identity .cross { stroke: #f2816d; stroke-width: 2; }
.art--pcs .nested-proof > rect { fill: #0b2530; stroke: rgba(102,184,215,.6); }
.art--pcs .nested-proof > rect + rect { fill: #0d352d; stroke: rgba(47,233,133,.58); }

/* AuthStream compiler */
.art--compiler .stream-lines path { stroke: rgba(145,182,162,.54); stroke-width: 2; stroke-linecap: round; }
.art--compiler .compiler-stages rect { fill: #0c2c1d; stroke: rgba(47,233,133,.45); }
.art--compiler .compiler-stages text { fill: #b8d8c6; font: 9px "Lab Mono", monospace; }
.art--compiler .terminal-options > rect { fill: #0a222a; stroke: rgba(107,207,255,.42); }
.art--compiler .terminal-options > .terminal-option--dense { fill: #281914; stroke: rgba(242,129,109,.5); }

/* Atomic block + recursive proof */
.art--atomic .pipeline-steps rect { fill: #291a17; stroke: rgba(242,129,109,.52); }
.art--atomic .pipeline-steps text { fill: #e6b1a6; font: 8px "Lab Mono", monospace; }
.art--atomic .pipeline-steps path { stroke: rgba(242,129,109,.75); }
.art--atomic .comparison-mark path { stroke: rgba(127,166,145,.45); }
.art--atomic .comparison-mark circle { fill: #10241a; stroke: rgba(47,233,133,.6); }
.art--atomic .comparison-mark text { fill: #2fe985; }
.art--atomic .bundle > rect { fill: #0b2a1b; stroke: rgba(47,233,133,.65); }
.art--atomic .bundle > rect + rect { fill: #10291d; stroke: rgba(135,191,160,.45); }
.art--atomic .bundle > path { stroke: rgba(47,233,133,.7); }

/* UTXO incarnation identity */
.art--incarnation .leaf-hash rect { fill: #131f18; stroke: rgba(134,167,149,.38); }
.art--incarnation .leaf-hash--new rect { fill: #0a2e1d; stroke: rgba(47,233,133,.56); }
.art--incarnation .reuse-channel > path:first-child { fill: none; stroke: #2fe985; }
.art--incarnation .stale-cross { fill: none; stroke: #f2816d; stroke-width: 2; }

/* Merkle fusion benchmark */
.art--fusion .chart-axis path { fill: none; stroke: rgba(132,164,146,.25); }
.art--fusion .chart-axis > path:first-child { stroke: rgba(167,197,180,.52); }
.art--fusion .chart-axis text { fill: #72907f; font: 8px "Lab Mono", monospace; }
.art--fusion .fusion-bars text:not(.diagram-micro) { fill: #b8d0c2; font: 9px "Lab Mono", monospace; }
.art--fusion .bar--base { fill: #395045; stroke: #668271; }
.art--fusion .bar--good { fill: #0d7244; stroke: #2fe985; }
.art--fusion .bar--bad { fill: #814436; stroke: #f2816d; }
.art--fusion .fusion-legend text { fill: #819a8c; font: 8px "Lab Mono", monospace; }
.art--fusion .fusion-legend circle { fill: #6a8174; }
.art--fusion .fusion-legend .good { fill: #2fe985; }
.art--fusion .fusion-metrics rect { fill: #0c1c15; stroke: rgba(132,171,150,.3); }

/* Proof once, nonce search */
.art--nonce .template-fields rect { fill: #14251c; stroke: rgba(130,169,148,.34); }
.art--nonce .template-fields text { fill: #9cb5a7; font: 8px "Lab Mono", monospace; }
.art--nonce .nonce-bus path { fill: none; stroke: rgba(102,184,215,.6); }
.art--nonce .nonce-bus circle { fill: #66b8d7; }
.art--nonce .nonce-list rect { fill: #0d1e17; stroke: rgba(124,163,142,.35); }
.art--nonce .nonce-list > g > text:not(.diagram-micro) { fill: #abc4b6; font: 9px "Lab Mono", monospace; }
.art--nonce .nonce-list .winner rect { fill: #0a3722; stroke: #2fe985; filter: url(#shadow-nonce); }
.art--nonce .nonce-list .winner circle { fill: #2fe985; stroke: #c8ffe0; }
.art--nonce .nonce-list .winner path { fill: none; stroke: #07351f; stroke-width: 1.5; }

/* Soundness metrology instrument */
.art--soundness .sound-bench path,
.art--soundness .sound-bench circle { fill: none; stroke: rgba(91,146,116,.12); stroke-width: 1; }
.art--soundness .sound-bench .sound-bench-rail { stroke-dasharray: 2 8; }
.art--soundness .sound-bench .sound-bench-rail--minor { stroke: rgba(102,184,215,.08); stroke-dasharray: 1 10; }
.art--soundness .sound-calibration-bed { fill: rgba(5,21,14,.98); stroke: rgba(74,129,99,.42); stroke-width: 1.2; }
.art--soundness .sound-calibration-bezel { fill: rgba(11,34,23,.96); stroke: rgba(135,182,156,.34); stroke-width: 1; }
.art--soundness .sound-calibration-tick { fill: none; stroke: rgba(132,175,152,.35); stroke-width: .75; }
.art--soundness .sound-calibration-tick--major { stroke: rgba(195,224,208,.58); stroke-width: 1.15; }
.art--soundness .sound-calibration-arc { fill: none; stroke-width: 3.2; stroke-linecap: round; filter: url(#glow-soundness); }
.art--soundness .sound-calibration-arc--blue { stroke: #66b8d7; }
.art--soundness .sound-calibration-arc--violet { stroke: #c976d6; }
.art--soundness .sound-calibration-arc--green { stroke: #2fe985; }
.art--soundness .sound-calibration-glass { fill: rgba(8,31,22,.88); stroke: rgba(169,217,190,.38); stroke-width: 1; }
.art--soundness .sound-calibration-inner { fill: rgba(8,42,27,.72); stroke: rgba(47,233,133,.22); }
.art--soundness .sound-calibration-needle { fill: none; stroke: #d9f7e7; stroke-width: 1.6; stroke-linecap: round; filter: url(#glow-soundness); }
.art--soundness .sound-calibration-pin { fill: #2fe985; stroke: #c8ffe0; stroke-width: 1.5; }
.art--soundness .sound-feed path,
.art--soundness .sound-output path { fill: none; stroke-width: 1.35; stroke-linecap: round; }
.art--soundness .sound-feed path { stroke: rgba(216,245,45,.5); }
.art--soundness .sound-feed circle { fill: #d8f52d; stroke: rgba(255,255,210,.8); }
.art--soundness .sound-output--blue path { stroke: rgba(102,184,215,.66); }
.art--soundness .sound-output--blue circle { fill: #66b8d7; }
.art--soundness .sound-output--violet path { stroke: rgba(201,118,214,.65); }
.art--soundness .sound-output--violet circle { fill: #c976d6; }
.art--soundness .sound-output--green path { stroke: rgba(47,233,133,.68); }
.art--soundness .sound-output--green circle { fill: #2fe985; }
.art--soundness .sound-readout rect { fill: rgba(10,25,18,.98); stroke: rgba(131,170,149,.34); stroke-width: 1; }
.art--soundness .sound-readout--input rect { fill: rgba(26,31,12,.97); stroke: rgba(216,245,45,.42); }
.art--soundness .sound-readout--blue rect { stroke: rgba(102,184,215,.5); }
.art--soundness .sound-readout--violet rect { stroke: rgba(201,118,214,.47); }
.art--soundness .sound-readout--green rect { stroke: rgba(47,233,133,.55); }
.art--soundness .sound-readout-kind { fill: #789582; font: 6.8px/1 "Lab Mono", monospace; letter-spacing: .66px; }
.art--soundness .sound-readout-name { fill: #dcece3; font: 700 10px/1 "Lab Sans", sans-serif; letter-spacing: .1px; }
.art--soundness .sound-readout-detail { fill: #dceb7b; font: 7px/1 "Lab Mono", monospace; letter-spacing: .35px; }
.art--soundness .sound-readout-value { fill: #f0fff7; font: 700 20px/1 "Lab Sans", sans-serif; letter-spacing: -.5px; }
.art--soundness .sound-readout > path { fill: none; stroke: rgba(167,202,183,.35); }
.art--soundness .sound-game-key text { fill: #718c7d; font: 6.8px/1 "Lab Mono", monospace; letter-spacing: .45px; }
.art--soundness .sound-game-key > path { stroke: rgba(129,167,147,.24); }
.art--soundness .sound-game-key--blue { fill: #66b8d7; }
.art--soundness .sound-game-key--violet { fill: #c976d6; }
.art--soundness .sound-game-key--green { fill: #2fe985; }

.focus-list { border-top: 1px solid var(--line-dark); }
.focus-list > a { min-height: 118px; display: grid; grid-template-columns: 70px 1fr auto; align-items: center; gap: 25px; border-bottom: 1px solid var(--line-dark); text-decoration: none; transition: background .18s ease, padding .18s ease, box-shadow .18s ease; }
.focus-list > a:hover { padding-inline: 18px; background: rgba(251,251,248,.86); box-shadow: inset 3px 0 0 var(--green); }
.focus-number { color: var(--green); font: 13px/1 "Lab Mono", monospace; }
.focus-list small { display: block; margin-bottom: 6px; color: var(--muted); font: 10px/1.2 "Lab Mono", monospace; letter-spacing: .08em; text-transform: uppercase; }
.focus-list strong { font-size: clamp(23px, 3vw, 34px); letter-spacing: -.035em; }
.focus-arrow { font-size: 24px; color: var(--green-dark); }


.archive-page, .article-page { width: min(var(--content), calc(100% - 48px)); margin-inline: auto; }
.archive-hero { min-height: 430px; padding: 100px 0 80px; display: flex; flex-direction: column; justify-content: end; border-bottom: 1px solid var(--line-dark); }
.archive-hero h1 { max-width: 920px; margin: 0; overflow-wrap: break-word; font-size: clamp(60px, 8vw, 112px); line-height: .92; letter-spacing: -.07em; }
.archive-hero > p:last-child { max-width: 720px; margin: 32px 0 0; color: var(--ink-soft); font-size: 19px; line-height: 1.65; }
.archive-section { padding: 54px 0 120px; }
.filter-bar { display: flex; flex-wrap: wrap; gap: 9px; margin-bottom: 42px; }
.filter-chip { min-height: 38px; padding: 0 13px; border: 1px solid var(--control-border); border-radius: 9px; background: linear-gradient(180deg, rgba(255,255,255,.8), rgba(247,249,247,.62)); color: var(--ink-soft); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.88); cursor: pointer; font-size: 12px; font-weight: 500; transition: transform .16s ease, border-color .16s ease, background .16s ease, color .16s ease, box-shadow .16s ease; }
.filter-chip span { margin-left: 5px; color: var(--muted); }
.filter-chip:hover { transform: translateY(-1px); border-color: rgba(0,104,58,.34); background: #fff; color: var(--green-dark); box-shadow: 0 1px 2px rgba(7,18,13,.05), 0 9px 22px rgba(7,18,13,.085), inset 0 1px 0 #fff; }
.filter-chip:active { transform: translateY(0); box-shadow: 0 1px 2px rgba(7,18,13,.07), inset 0 1px 2px rgba(7,18,13,.055); }
.filter-chip.is-active { border-color: #00683a; background: linear-gradient(180deg, #07804a, #00683a); color: #fff; box-shadow: 0 1px 2px rgba(0,80,44,.16), 0 7px 18px rgba(0,104,58,.16), inset 0 1px 0 rgba(255,255,255,.14); }
.filter-chip.is-active span { color: rgba(255,255,255,.72); }
.archive-list { border-top: 1px solid var(--line-dark); }
.archive-row { min-height: 230px; display: grid; grid-template-columns: 72px minmax(0, 1fr) 44px; gap: 28px; align-items: start; padding: 38px 0; border-bottom: 1px solid var(--line-dark); }
.archive-index { padding-top: 5px; color: var(--green); font: 13px/1 "Lab Mono", monospace; text-decoration: none; }
.archive-copy { min-width: 0; }
.archive-copy h2 { max-width: 900px; margin: 15px 0 12px; overflow-wrap: break-word; font-size: clamp(30px, 3.6vw, 47px); line-height: 1.06; letter-spacing: -.045em; }
.archive-copy h2 a { text-decoration: none; }
.archive-copy p { max-width: 810px; margin: 0; color: var(--ink-soft); }
.archive-tags { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 22px; }
.archive-tags span { padding: 5px 8px; border-radius: 5px; background: rgba(255,255,255,.6); color: var(--muted); font: 9px/1.2 "Lab Mono", monospace; text-transform: uppercase; }
.archive-arrow { padding-top: 6px; color: var(--green-dark); font-size: 26px; text-decoration: none; }
.archive-row[hidden] { display: none; }
.filter-empty { padding: 80px 0; color: var(--muted); text-align: center; }

.reading-progress { position: fixed; z-index: 50; top: 0; left: 0; right: 0; height: 3px; pointer-events: none; }
.reading-progress span { display: block; width: 0; height: 100%; background: var(--green); }
.article-hero { min-height: 620px; padding: 72px 0 78px; display: grid; grid-template-columns: minmax(0, 1.14fr) minmax(380px, .86fr); align-items: center; gap: 70px; border-bottom: 1px solid var(--line-dark); }
.article-hero-copy { min-width: 0; max-width: 100%; }
.back-link { display: inline-block; margin-bottom: 48px; color: var(--muted); font-size: 12px; text-decoration: none; }
.back-link:hover { color: var(--green-dark); }
.article-meta span, .article-meta time { padding-right: 12px; border-right: 1px solid var(--line-dark); }
.article-meta :last-child { border: 0; }
.article-hero h1 { max-width: 890px; margin: 20px 0 25px; overflow-wrap: break-word; hyphens: manual; font-size: clamp(44px, 5vw, 68px); line-height: 1; letter-spacing: -.05em; text-wrap: balance; }
.locale-ru .article-hero h1 { font-size: clamp(42px, 4.4vw, 60px); line-height: 1.02; }
.article-dek { max-width: 760px; margin: 0; color: var(--ink-soft); font-size: 19px; line-height: 1.62; }
.article-byline { margin-top: 32px; display: flex; flex-wrap: wrap; gap: 10px 22px; color: var(--muted); font: 10px/1.4 "Lab Mono", monospace; text-transform: uppercase; }
.article-share { margin-top: 21px; display: flex; flex-wrap: nowrap; align-items: center; gap: 8px; }
.article-share-label { margin-right: 3px; flex: 0 0 auto; color: var(--muted); font: 9px/1 "Lab Mono", monospace; letter-spacing: .11em; text-transform: uppercase; white-space: nowrap; }
.share-action { min-height: 38px; padding: 0 13px; display: inline-flex; flex: 0 0 auto; align-items: center; justify-content: center; gap: 8px; border: 1px solid #bfc9c2; border-radius: 8px; background: linear-gradient(180deg, rgba(255,255,255,.88), rgba(248,250,248,.76)); color: var(--ink-soft); box-shadow: 0 1px 1px rgba(7,18,13,.035), 0 5px 14px rgba(7,18,13,.045), inset 0 1px 0 rgba(255,255,255,.9); cursor: pointer; font: 700 11px/1 "Lab Sans", sans-serif; text-decoration: none; transition: transform .16s ease, border-color .16s ease, background .16s ease, color .16s ease, box-shadow .16s ease; }
.share-action--icon { width: 38px; padding: 0; }
.share-action:hover { transform: translateY(-1px); border-color: rgba(0,120,66,.42); background: #fff; color: var(--green-dark); box-shadow: 0 1px 1px rgba(7,18,13,.04), 0 8px 20px rgba(7,18,13,.08), inset 0 1px 0 #fff; }
.share-action:active { transform: translateY(0); box-shadow: 0 1px 2px rgba(7,18,13,.08), inset 0 1px 2px rgba(7,18,13,.06); }
.share-action:focus-visible { outline: 2px solid var(--green); outline-offset: 2px; }
.share-action.is-copied { border-color: rgba(0,120,66,.48); background: linear-gradient(180deg, #ebf8f0, #dcefe4); color: var(--green-dark); box-shadow: 0 1px 1px rgba(0,104,58,.05), 0 6px 16px rgba(0,104,58,.1), inset 0 1px 0 rgba(255,255,255,.82); }
.share-icon { width: 14px; height: 14px; flex: 0 0 auto; fill: currentColor; }
.share-icon--link { fill: none; stroke: currentColor; stroke-width: 1.7; stroke-linecap: round; stroke-linejoin: round; }
.share-icon--check { display: none; fill: none; stroke: currentColor; stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }
.share-action.is-copied .share-icon--link { display: none; }
.share-action.is-copied .share-icon--check { display: block; }
.share-icon--x { fill: currentColor; }
.article-hero > .research-art { min-height: 0; aspect-ratio: 640 / 420; }

.article-layout { position: relative; max-width: 1070px; margin: 0 auto; padding: 90px 0 120px; display: grid; grid-template-columns: 190px minmax(0, var(--article)); gap: 80px; align-items: start; }
.article-toc { position: sticky; top: 28px; display: grid; gap: 11px; padding-top: 4px; }
.article-toc strong { margin-bottom: 7px; color: var(--ink); font: 10px/1.3 "Lab Mono", monospace; letter-spacing: .08em; text-transform: uppercase; }
.article-toc a { padding-left: 12px; border-left: 1px solid var(--line-dark); color: var(--muted); font-size: 12px; line-height: 1.45; text-decoration: none; }
.article-toc a:hover, .article-toc a.is-active { border-color: var(--green); color: var(--green-dark); }

.article-body { min-width: 0; max-width: 100%; overflow-wrap: break-word; }
.article-abstract { margin-bottom: 68px; padding: 28px 30px; border: 1px solid #cfd8d1; border-left: 3px solid var(--green); border-radius: 0 10px 10px 0; background: linear-gradient(135deg, #fff, #f9fbf9); box-shadow: var(--shadow-sm), inset 0 1px 0 rgba(255,255,255,.9); }
.article-abstract span { color: var(--green-dark); font: 10px/1.2 "Lab Mono", monospace; letter-spacing: .1em; text-transform: uppercase; }
.article-abstract p { margin: 10px 0 0; color: var(--ink); font-size: 17px; line-height: 1.7; }
.article-body > h2 { scroll-margin-top: 40px; margin: 80px 0 24px; font-size: clamp(32px, 4vw, 46px); line-height: 1.08; letter-spacing: -.045em; }
.article-body > h3 { scroll-margin-top: 40px; margin: 48px 0 17px; font-size: 24px; line-height: 1.2; letter-spacing: -.03em; }
.article-body > p, .article-body > ul, .article-body > ol { margin: 0 0 24px; color: #2b332e; font-size: 17px; line-height: 1.78; }
.article-body li + li { margin-top: 9px; }
.article-body strong { color: var(--ink); }
.article-body a { color: var(--green-dark); text-underline-offset: 3px; }
.article-body code { padding: 2px 5px; border: 1px solid #cfe0d5; border-radius: 4px; background: var(--green-pale); color: #0a6239; font: 13px/1.4 "Lab Mono", monospace; }
.article-body pre { margin: 32px 0; padding: 22px 24px; overflow-x: auto; border-radius: 9px; background: var(--black-green); color: #dff8e9; box-shadow: var(--shadow-sm); font: 13px/1.7 "Lab Mono", monospace; }
.article-body pre code { padding: 0; border: 0; background: none; color: inherit; }
.article-body blockquote { margin: 38px 0; padding: 0 0 0 26px; border-left: 2px solid var(--green); }
.article-body blockquote p { margin: 0; color: var(--ink); font-size: 21px; line-height: 1.55; letter-spacing: -.015em; }
.article-body hr { margin: 64px 0; border: 0; border-top: 1px solid var(--line-dark); }

.math-display {
  width: 100%;
  max-width: 100%;
  margin: 32px 0;
  padding: 20px 22px;
  overflow-x: auto;
  overflow-y: hidden;
  border: 1px solid #cbd6cf;
  border-radius: 10px;
  background: linear-gradient(180deg, rgba(255,255,255,.97), rgba(248,251,249,.95));
  box-shadow: 0 1px 1px rgba(7,18,13,.035), 0 10px 28px rgba(7,18,13,.055), inset 0 1px 0 rgba(255,255,255,.92);
  overscroll-behavior-inline: contain;
  scrollbar-color: #9eaaa2 transparent;
  scrollbar-width: thin;
  -webkit-overflow-scrolling: touch;
  transition: border-color .18s ease, box-shadow .18s ease;
}
.math-display > .katex-display { width: max-content; min-width: 100%; margin-block: .7em; }

.equation { margin: 30px 0; padding: 20px 24px; overflow-x: auto; border: 1px solid var(--line); border-radius: 8px; background: #fff; text-align: center; font: 15px/1.7 "Lab Mono", monospace; }
.domain-spec {
  position: relative;
  isolation: isolate;
  margin: 38px 0 0;
  padding: 30px;
  display: grid;
  grid-template-columns: minmax(0, 1fr) 38px minmax(0, 1fr) 38px minmax(0, 1fr);
  grid-template-rows: auto 38px auto;
  gap: 12px 8px;
  overflow: hidden;
  border: 1px solid #ccd9d0;
  border-radius: 12px;
  background:
    linear-gradient(rgba(10, 98, 57, .035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(10, 98, 57, .035) 1px, transparent 1px),
    linear-gradient(145deg, #fff 0%, #f6faf7 100%);
  background-size: 28px 28px, 28px 28px, auto;
  box-shadow: var(--shadow-sm);
}
.domain-spec::after {
  content: "";
  position: absolute;
  z-index: -1;
  width: 250px;
  height: 250px;
  right: -105px;
  bottom: -155px;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(47, 233, 133, .14), rgba(47, 233, 133, 0) 69%);
}
.domain-spec > div:not(.domain-spec__result) {
  min-width: 0;
  min-height: 142px;
  padding: 18px 17px 16px;
  display: flex;
  flex-direction: column;
  justify-content: center;
  border: 1px solid #d8e2db;
  border-top: 3px solid var(--green);
  border-radius: 9px;
  background: rgba(255, 255, 255, .86);
  box-shadow: 0 9px 22px rgba(16, 39, 26, .055);
}
.domain-spec > div:nth-of-type(2) { border-top-color: var(--blue); }
.domain-spec > div:nth-of-type(3) { border-top-color: #d8a52d; }
.domain-spec small {
  display: block;
  color: var(--muted);
  font: 9px/1.2 "Lab Mono", monospace;
  letter-spacing: .1em;
  text-transform: uppercase;
}
.domain-spec strong {
  display: block;
  margin: 9px 0 7px;
  color: var(--ink);
  font: 600 31px/1 "Lab Mono", monospace;
  letter-spacing: -.05em;
  white-space: nowrap;
}
.domain-spec strong sup { position: relative; top: -.1em; font-size: .55em; }
.domain-spec span {
  display: block;
  color: var(--muted);
  font-size: 11px;
  line-height: 1.4;
}
.domain-spec > b {
  width: 30px;
  height: 30px;
  place-self: center;
  display: grid;
  place-items: center;
  border: 1px solid #cfddd4;
  border-radius: 50%;
  background: #fff;
  color: var(--green-dark);
  box-shadow: 0 5px 14px rgba(16, 39, 26, .07);
  font: 600 16px/1 "Lab Mono", monospace;
}
.domain-spec > b:nth-of-type(3) {
  position: relative;
  grid-column: 1 / -1;
  grid-row: 2;
}
.domain-spec > b:nth-of-type(3)::before,
.domain-spec > b:nth-of-type(3)::after {
  content: "";
  position: absolute;
  left: 50%;
  width: 1px;
  height: 12px;
  background: #b8cbbf;
}
.domain-spec > b:nth-of-type(3)::before { bottom: 100%; }
.domain-spec > b:nth-of-type(3)::after { top: 100%; }
.domain-spec__result {
  grid-column: 1 / -1;
  grid-row: 3;
  min-height: 108px;
  padding: 22px 25px;
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  grid-template-areas: "label formula" "description formula";
  align-items: center;
  column-gap: 28px;
  border: 1px solid #126d43;
  border-radius: 10px;
  background: linear-gradient(125deg, #071a11 0%, #0c281b 100%);
  box-shadow: 0 15px 30px rgba(3, 24, 14, .15);
}
.domain-spec__result small { grid-area: label; color: #79a98f; }
.domain-spec__result strong {
  grid-area: formula;
  margin: 0;
  color: #38ef8c;
  font-size: clamp(34px, 5vw, 46px);
  text-shadow: 0 0 18px rgba(47, 233, 133, .18);
}
.domain-spec__result span { grid-area: description; margin-top: 7px; color: #bfd2c7; font-size: 12px; }
.figure .domain-spec + figcaption { margin-top: 15px; padding-left: 1px; }
.protocol-flow { margin: 36px 0; padding: 20px; display: flex; align-items: stretch; gap: 8px; overflow-x: auto; border: 1px solid #cbd6cf; border-radius: 10px; background: #fff; box-shadow: 0 1px 1px rgba(7,18,13,.035), 0 10px 28px rgba(7,18,13,.05); transition: border-color .18s ease, box-shadow .18s ease; }
.flow-step { min-width: 155px; flex: 1 0 0; padding: 17px; border-radius: 7px; background: #f1f4f1; }
.flow-step small { display: block; margin-bottom: 9px; color: var(--green-dark); font: 9px/1.25 "Lab Mono", monospace; letter-spacing: .06em; text-transform: uppercase; }
.flow-step strong { display: block; font-size: 15px; line-height: 1.25; }
.flow-step span { display: block; margin-top: 9px; color: var(--muted); font-size: 11px; line-height: 1.45; }
.flow-arrow { align-self: center; flex: 0 0 auto; color: var(--green); font: 17px/1 "Lab Mono", monospace; }
.note, .failure, .result { margin: 34px 0; padding: 22px 24px; border: 1px solid #cfd7d1; border-radius: 9px; background: linear-gradient(135deg, #fff, #fafbf9); box-shadow: var(--shadow-sm), inset 0 1px 0 rgba(255,255,255,.9); }
.note { border-top: 3px solid var(--blue); }.failure { border-top: 3px solid var(--coral); }.result { border-top: 3px solid var(--green); }
.note strong:first-child, .failure strong:first-child, .result strong:first-child { display: block; margin-bottom: 8px; font: 10px/1.2 "Lab Mono", monospace; letter-spacing: .09em; text-transform: uppercase; }
.note p:last-child, .failure p:last-child, .result p:last-child { margin-bottom: 0; }

.metric-row { margin: 34px 0; display: grid; grid-template-columns: repeat(3, 1fr); gap: 8px; }
.metric { min-height: 130px; padding: 19px; border: 1px solid #cbd4cd; border-radius: 9px; background: linear-gradient(145deg, #fff, #f8faf8); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.9); }
.metric strong { display: block; color: var(--green-dark); font-size: 30px; line-height: 1; letter-spacing: -.04em; }
.metric span { display: block; margin-top: 10px; color: var(--muted); font: 10px/1.45 "Lab Mono", monospace; text-transform: uppercase; }
.table-wrap { width: 100%; max-width: 100%; margin: 34px 0; overflow-x: auto; border: 1px solid #c7d2ca; border-radius: 9px; background: #fff; box-shadow: 0 1px 1px rgba(7,18,13,.035), 0 10px 28px rgba(7,18,13,.05); transition: border-color .18s ease, box-shadow .18s ease; }
.article-body table { width: 100%; border-collapse: collapse; font-size: 13px; line-height: 1.45; }
.article-body th { padding: 12px 14px; background: #edf2ee; color: #68736c; font: 9px/1.3 "Lab Mono", monospace; letter-spacing: .07em; text-align: left; text-transform: uppercase; }
.article-body td { padding: 13px 14px; border-top: 1px solid var(--line); vertical-align: top; transition: background-color .16s ease; }
.article-body tbody tr:nth-child(even) td { background: rgba(242,247,244,.58); }
.article-body tbody tr:hover td { background: rgba(230,243,235,.66); }
.article-body td:not(:first-child), .article-body th:not(:first-child) { text-align: right; }
.article-body .comparison-table td, .article-body .comparison-table th { text-align: left; }
.article-body .comparison-table td:nth-child(2), .article-body .comparison-table th:nth-child(2) { min-width: 150px; }
.timeline { margin: 36px 0; border-left: 1px solid var(--line-dark); }
.timeline-item { position: relative; padding: 0 0 34px 28px; }
.timeline-item::before { content: ""; position: absolute; top: 6px; left: -5px; width: 9px; height: 9px; border-radius: 50%; background: var(--paper); border: 2px solid var(--green); }
.timeline-item time { color: var(--green-dark); font: 10px/1.2 "Lab Mono", monospace; text-transform: uppercase; }
.timeline-item h3 { margin: 7px 0 6px; font-size: 20px; }
.timeline-item p { margin: 0; color: var(--ink-soft); font-size: 15px; line-height: 1.65; }
.figure { margin: 42px 0; }
.figure img { display: block; width: 100%; border: 1px solid var(--line); border-radius: 10px; background: var(--black-green); box-shadow: var(--shadow-lg); }
.figure figcaption { margin-top: 12px; color: var(--muted); font-size: 12px; line-height: 1.55; }

.article-body pre,
.article-body .equation,
.article-body .protocol-flow,
.article-body .table-wrap {
  max-width: 100%;
  overscroll-behavior-inline: contain;
  scrollbar-color: #9eaaa2 transparent;
  scrollbar-width: thin;
  -webkit-overflow-scrolling: touch;
}
.article-body pre { border: 1px solid rgba(148,185,163,.2); box-shadow: 0 1px 1px rgba(7,18,13,.08), 0 12px 30px rgba(7,18,13,.09); transition: border-color .18s ease, box-shadow .18s ease; }
@media (hover: hover) {
  .math-display:hover,
  .protocol-flow:hover,
  .table-wrap:hover { border-color: #b3c2b8; box-shadow: 0 1px 1px rgba(7,18,13,.04), 0 13px 32px rgba(7,18,13,.07), inset 0 1px 0 rgba(255,255,255,.92); }
  .article-body pre:hover { border-color: rgba(148,185,163,.34); box-shadow: 0 1px 1px rgba(7,18,13,.08), 0 15px 34px rgba(7,18,13,.12); }
}
.article-body pre::-webkit-scrollbar,
.article-body .equation::-webkit-scrollbar,
.article-body .protocol-flow::-webkit-scrollbar,
.article-body .table-wrap::-webkit-scrollbar,
.math-display::-webkit-scrollbar { height: 6px; }
.article-body pre::-webkit-scrollbar-thumb,
.article-body .equation::-webkit-scrollbar-thumb,
.article-body .protocol-flow::-webkit-scrollbar-thumb,
.article-body .table-wrap::-webkit-scrollbar-thumb,
.math-display::-webkit-scrollbar-thumb { border: 2px solid transparent; border-radius: 999px; background: #9eaaa2; background-clip: padding-box; }
.article-body pre::-webkit-scrollbar-track,
.article-body .equation::-webkit-scrollbar-track,
.article-body .protocol-flow::-webkit-scrollbar-track,
.article-body .table-wrap::-webkit-scrollbar-track,
.math-display::-webkit-scrollbar-track { background: transparent; }

.evidence-panel { padding: 70px; display: grid; grid-template-columns: .85fr 1.15fr; gap: 85px; border: 1px solid rgba(109,151,128,.24); border-radius: 14px; background: linear-gradient(145deg, #09160f, #04100a); color: #fff; box-shadow: 0 2px 3px rgba(7,18,13,.14), 0 22px 54px rgba(7,18,13,.16), inset 0 1px 0 rgba(255,255,255,.045); }
.evidence-panel h2 { margin: 0 0 18px; font-size: clamp(34px, 4vw, 50px); line-height: 1.05; letter-spacing: -.05em; }
.evidence-panel p { margin: 0; color: #9db4a7; }
.evidence-panel .section-index { color: #2fe985; }
.evidence-links { border-top: 1px solid rgba(255,255,255,.15); }
.evidence-links a { min-height: 82px; display: flex; align-items: center; justify-content: space-between; gap: 20px; border-bottom: 1px solid rgba(255,255,255,.15); text-decoration: none; }
.evidence-links a:hover strong { color: #2fe985; }
.evidence-links small { display: block; margin-bottom: 5px; color: #789082; font: 9px/1.2 "Lab Mono", monospace; text-transform: uppercase; }
.evidence-links strong { font-size: 14px; }
.evidence-links > a > span:last-child { color: #2fe985; font-size: 20px; }
.evidence-entry { display: flex; align-items: center; gap: 14px; }
.evidence-github-icon { width: 22px; height: 22px; flex: 0 0 auto; fill: #8ca497; transition: fill .2s ease; }
.evidence-links a:hover .evidence-github-icon { fill: #2fe985; }
.article-next { padding: 34px 0 110px; display: grid; grid-template-columns: 1fr 1fr; gap: 15px; }
.article-next a { min-height: 130px; padding: 24px; display: grid; grid-template-columns: 1fr auto; align-items: end; border: 1px solid var(--control-border); border-radius: 9px; background: linear-gradient(145deg, rgba(255,255,255,.82), rgba(247,249,247,.66)); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.9); text-decoration: none; transition: transform .18s ease, border-color .18s ease, box-shadow .18s ease, background .18s ease; }
.article-next a:nth-child(2) { text-align: right; }
.article-next small { grid-column: 1 / -1; align-self: start; color: var(--muted); font: 9px/1.2 "Lab Mono", monospace; text-transform: uppercase; }
.article-next strong { font-size: 18px; }
.article-next a:hover { transform: translateY(-2px); border-color: #b5c2b8; background: #fff; box-shadow: var(--shadow-sm); }


.not-found { width: min(700px, calc(100% - 48px)); min-height: 65vh; margin-inline: auto; display: flex; flex-direction: column; align-items: center; justify-content: center; text-align: center; }
.not-found > span { color: var(--green); font: 12px/1 "Lab Mono", monospace; }
.not-found h1 { margin: 20px 0; font-size: clamp(42px, 7vw, 78px); line-height: .98; letter-spacing: -.06em; }
.not-found p { margin: 0 0 30px; color: var(--muted); }

.site-footer { width: min(var(--content), calc(100% - 48px)); margin-inline: auto; padding: 72px 0 30px; display: grid; grid-template-columns: 1fr 1fr; gap: 70px; }
.footer-brand { display: flex; align-items: flex-start; gap: 15px; }
.footer-brand strong { display: block; margin-top: 3px; }
.footer-brand p { margin: 6px 0 0; color: var(--muted); font-size: 13px; }
.footer-links { display: grid; grid-template-columns: 1fr 1fr; gap: 30px; }
.footer-links > div { display: grid; align-content: start; gap: 7px; }
.footer-links strong { margin-bottom: 5px; color: var(--muted); font: 9px/1.2 "Lab Mono", monospace; letter-spacing: .08em; text-transform: uppercase; }
.footer-links a { color: var(--ink-soft); font-size: 13px; text-decoration: none; }
.footer-links a:hover { color: var(--green-dark); }
.footer-bottom { grid-column: 1 / -1; margin-top: 20px; padding-top: 22px; display: flex; justify-content: space-between; border-top: 1px solid var(--line-dark); color: var(--muted); font: 9px/1.2 "Lab Mono", monospace; text-transform: uppercase; }

@media (max-width: 1050px) {
  .home-hero { grid-template-columns: 1fr 390px; gap: 25px; }
  .hero-field { opacity: .9; transform: scale(.92); transform-origin: right center; }
  .research-grid { grid-template-columns: repeat(2, 1fr); }
  .article-hero { grid-template-columns: 1fr 350px; gap: 40px; }
  .article-layout { grid-template-columns: 160px minmax(0, 1fr); gap: 50px; }
}

@media (max-width: 820px) {
  .site-header { min-height: 72px; gap: 12px; }
  .brand { min-width: 0; gap: 9px; }
  .brand-copy { min-width: 0; display: flex; align-items: baseline; gap: 8px; white-space: nowrap; }
  .brand-copy strong { flex: 0 0 auto; font-size: 15px; }
  .brand-copy small { margin-top: 0; padding-left: 8px; border-left: 1px solid var(--line-dark); font-size: 8px; letter-spacing: .09em; white-space: nowrap; }
  .header-controls { display: flex; flex: 0 0 auto; align-items: center; gap: 7px; }
  .header-controls > .language-switcher { margin-left: 0; }
  .header-controls > .language-switcher summary { min-width: 54px; min-height: 40px; padding: 7px 9px; }
  .header-controls > .language-switcher .language-menu { position: absolute; top: calc(100% + 9px); right: 0; width: 184px; margin-top: 0; box-shadow: 0 18px 42px rgba(7,18,13,.13); }
  .nav-toggle { width: 40px; height: 40px; display: grid; place-content: center; gap: 5px; border: 1px solid var(--control-border); border-radius: 8px; background: linear-gradient(180deg, rgba(255,255,255,.8), rgba(247,249,247,.62)); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.88); cursor: pointer; transition: transform .16s ease, border-color .16s ease, background .16s ease, box-shadow .16s ease; }
  .nav-toggle span { width: 17px; height: 1px; background: var(--ink); transition: transform .16s ease; }
  .nav-toggle:hover { transform: translateY(-1px); border-color: rgba(0,104,58,.34); background: #fff; box-shadow: 0 1px 2px rgba(7,18,13,.05), 0 9px 22px rgba(7,18,13,.09), inset 0 1px 0 #fff; }
  .nav-toggle:active { transform: translateY(0); box-shadow: 0 1px 2px rgba(7,18,13,.08), inset 0 1px 2px rgba(7,18,13,.055); }
  .nav-toggle[aria-expanded="true"] span:first-child { transform: translateY(3px) rotate(45deg); }
  .nav-toggle[aria-expanded="true"] span:last-child { transform: translateY(-3px) rotate(-45deg); }
  .site-nav { position: absolute; top: 64px; left: 0; right: 0; padding: 14px; display: none; align-items: stretch; flex-direction: column; border: 1px solid #c3cdc5; border-radius: 11px; background: rgba(251,251,248,.98); box-shadow: var(--shadow-lg), inset 0 1px 0 rgba(255,255,255,.92); backdrop-filter: blur(18px); }
  .site-nav.is-open { display: flex; }
  .site-nav a { padding: 12px; }
  .site-nav .nav-github { margin-left: 0; justify-content: center; }
  .nav-rule { width: 100%; height: 1px; margin: 5px 0; }
  .home-hero { min-height: auto; grid-template-columns: 1fr; }
  .hero-copy { padding: 82px 0 26px; }
  .hero-field { width: min(520px, 100%); margin: -15px auto 40px; justify-self: center; transform: scale(.86); transform-origin: center; }
  .lead-story { grid-template-columns: 1fr; }
  .lead-story-art { min-height: 330px; }
  .research-grid { grid-template-columns: minmax(0, 1fr); }
  .card-art-link { height: auto; }
  .article-hero { grid-template-columns: 1fr; }
  .article-hero > .research-art { min-height: 0; aspect-ratio: 640 / 420; }
  .article-layout { display: block; max-width: var(--article); }
  .article-toc { position: static; margin-bottom: 58px; padding: 20px; border: 1px solid #cbd4cd; border-radius: 10px; background: linear-gradient(145deg, rgba(255,255,255,.86), rgba(247,249,247,.68)); box-shadow: var(--shadow-xs), inset 0 1px 0 rgba(255,255,255,.9); }
  .evidence-panel { padding: 45px; grid-template-columns: 1fr; gap: 45px; }
}

@media (max-width: 600px) {
  .site-header, .home-hero, .section, .archive-page, .article-page, .site-footer { width: min(100% - 28px, var(--content)); }
  .brand-mark { width: 34px; height: 34px; font-size: 20px; }
  .home-hero .eyebrow { margin-bottom: 19px; font-size: 9px; letter-spacing: .075em; white-space: nowrap; }
  .home-hero h1 { font-size: clamp(46px, 14vw, 56px); line-height: .96; letter-spacing: -.058em; }
  .locale-ru .home-hero h1 { font-size: clamp(42px, 12.5vw, 50px); line-height: .98; letter-spacing: -.052em; }
  .locale-zh .home-hero h1 { font-size: clamp(42px, 12.2vw, 49px); line-height: 1.02; letter-spacing: -.04em; }
  .hero-lead { font-size: 17px; }
  .hero-field { margin-top: -45px; margin-bottom: 0; transform: scale(.72); }
  .section { padding: 76px 0; }
  .section-heading { align-items: start; flex-direction: column; }
  .section-heading h2 { font-size: 36px; line-height: 1.03; }
  .lead-story-art { min-height: 0; }
  .lead-story-copy { padding: 28px; }
  .lead-story h3 { font-size: 34px; line-height: 1.02; }
  .card-art-link { height: auto; }
  .focus-list > a { grid-template-columns: 44px 1fr auto; gap: 10px; }
  .focus-list strong { font-size: 21px; }
  .archive-hero { min-height: 350px; padding: 70px 0 62px; }
  .archive-hero h1 { font-size: clamp(42px, 12vw, 50px); line-height: .98; letter-spacing: -.055em; overflow-wrap: normal; word-break: normal; }
  .archive-hero > p:last-child { margin-top: 24px; font-size: 17px; line-height: 1.58; }
  .archive-section { padding: 42px 0 90px; }
  .filter-bar { gap: 8px; margin-bottom: 36px; }
  .filter-chip { min-height: 36px; padding-inline: 11px; font-size: 11px; }
  .archive-row { min-height: 0; grid-template-columns: 31px minmax(0, 1fr); gap: 12px; padding: 32px 0; }
  .archive-arrow { display: none; }
  .archive-copy h2 { margin-top: 13px; font-size: 28px; line-height: 1.08; letter-spacing: -.038em; }
  .archive-copy p { font-size: 15px; line-height: 1.65; }
  .article-hero { padding: 38px 0 58px; gap: 32px; }
  .article-meta > *, .article-byline > * { min-width: 0; max-width: 100%; overflow-wrap: anywhere; }
  .back-link { margin-bottom: 31px; font-size: 11px; }
  .article-meta { gap: 9px; font-size: 9px; letter-spacing: .065em; }
  .article-meta span, .article-meta time { padding-right: 0; border-right: 0; }
  .story-meta span + time::before, .card-meta span + time::before { display: none; }
  .article-hero h1 { margin: 18px 0 21px; overflow-wrap: break-word; hyphens: manual; font-size: 36px; line-height: 1.02; letter-spacing: -.043em; }
  .locale-ru .article-hero h1 { font-size: 35px; line-height: 1.04; }
  .locale-zh .article-hero h1 { font-size: 34px; line-height: 1.06; letter-spacing: -.03em; }
  .article-dek { font-size: 16px; line-height: 1.62; }
  .article-byline { margin-top: 27px; gap: 8px 16px; font-size: 9px; }
  .article-hero > .research-art { min-height: 0; aspect-ratio: 640 / 420; }
  .article-layout { padding: 58px 0 78px; }
  .article-body > p, .article-body > ul, .article-body > ol { font-size: 16px; }
  .article-body > h2 { margin-top: 68px; font-size: 30px; line-height: 1.1; letter-spacing: -.038em; }
  .article-body > h3 { margin-top: 42px; font-size: 22px; }
  .article-abstract { margin-bottom: 58px; padding: 22px; }
  .math-display { margin-block: 24px; padding: 16px 13px; border-radius: 9px; }
  .math-display > .katex-display { margin-block: .55em; font-size: .94em; }
  .domain-spec {
    padding: 18px;
    display: flex;
    flex-direction: column;
    gap: 10px;
    background-size: 24px 24px, 24px 24px, auto;
  }
  .domain-spec > div:not(.domain-spec__result) { min-height: 0; padding: 16px 18px; }
  .domain-spec > b { flex: 0 0 28px; }
  .domain-spec > b:nth-of-type(3)::before,
  .domain-spec > b:nth-of-type(3)::after { display: none; }
  .domain-spec__result {
    min-height: 0;
    padding: 20px;
    display: block;
    text-align: center;
  }
  .domain-spec__result strong { margin: 12px 0 10px; font-size: 38px; }
  .metric-row { grid-template-columns: 1fr; }
  .evidence-panel { padding: 30px 24px; margin-inline: -2px; }
  .article-next { padding: 28px 0 82px; grid-template-columns: 1fr; gap: 10px; }
  .article-next a { min-height: 104px; padding: 19px 20px; }
  .article-next strong { font-size: 16px; line-height: 1.35; }
  .site-footer { grid-template-columns: 1fr; }
  .footer-links { grid-template-columns: 1fr 1fr; }
  .footer-bottom { gap: 10px; flex-direction: column; }
}

@media (max-width: 350px) {
  .brand-copy small { display: none; }
  .site-header { gap: 8px; }
  .home-hero .eyebrow { font-size: 8px; letter-spacing: .055em; }
  .article-share { gap: 6px; }
  .share-action { padding-inline: 10px; }
  .share-action--icon { width: 36px; padding: 0; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { scroll-behavior: auto !important; transition: none !important; animation: none !important; }
}