:root {
  color-scheme: dark;
  --paper: #090f1c;
  --surface: #101b2d;
  --ink: #e7edf7;
  --muted: #a1b2c8;
  --line: #29384c;
  --cyan: #5be2f2;
  --green: #55cd9b;
  --amber: #ffbd69;
  --red: #ffac96;
  --purple: #ac94ef;
  --mono: Consolas, "Cascadia Code", "Liberation Mono", monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ink);
  background: radial-gradient(ellipse at 85% 3%, #11303c66, transparent 34rem), var(--paper);
  font: 16px/1.65 system-ui, -apple-system, "Segoe UI", sans-serif;
}
a { color: var(--cyan); text-underline-offset: 4px; }
a:hover { color: #a0f1fa; }
:focus-visible { outline: 3px solid var(--amber); outline-offset: 5px; }
::selection { background: #286475; color: #fff; }
p { margin: 0 0 1rem; }
strong { color: var(--ink); }
code, pre, .mono { font-family: var(--mono); }
code { color: #bceef3; font-size: .88em; overflow-wrap: anywhere; }
pre { margin: 0; line-height: 1.75; tab-size: 2; }
h1, h2, h3 { color: var(--ink); }
h1 { margin: 24px 0; font-size: clamp(2.65rem, 4.7vw, 4.6rem); line-height: 1.08; letter-spacing: -.05em; font-weight: 700; }
h1 span { color: var(--cyan); }
h2 { margin: 8px 0 24px; font-size: clamp(1.85rem, 3.2vw, 2.8rem); line-height: 1.18; letter-spacing: -.04em; font-weight: 650; }
h3 { margin: 0 0 12px; font-size: 1.08rem; line-height: 1.4; }
.wrap { width: min(1240px, calc(100% - 64px)); margin-inline: auto; }
section[id], main[id] { scroll-margin-top: 106px; }
.skip-link { position: absolute; top: -100px; left: 16px; z-index: 50; padding: 12px 18px; background: var(--surface); border: 1px solid var(--cyan); }
.skip-link:focus { top: 12px; }
.site-header { position: sticky; top: 0; z-index: 20; display: flex; justify-content: space-between; align-items: center; gap: 24px; padding: 19px clamp(16px, 3vw, 32px); border-bottom: 1px solid var(--line); background: #090f1cf5; backdrop-filter: blur(12px); }
.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); font-size: 1.35rem; font-weight: 800; letter-spacing: -.035em; text-decoration: none; white-space: nowrap; }
.brand-mark { border: 1px solid #3d7583; background: #11323e; border-radius: 6px; padding: 3px 8px; color: var(--cyan); font-family: var(--mono); }
.brand-suffix { font: .65rem var(--mono); letter-spacing: .13em; color: var(--muted); }
nav { display: flex; flex-wrap: wrap; gap: 12px 22px; font-size: .88rem; }
nav a { color: var(--muted); text-decoration: none; }
nav a:hover { color: var(--cyan); }
.eyebrow { margin-bottom: 14px; color: var(--muted); font-size: .74rem; font-weight: 700; letter-spacing: .13em; text-transform: uppercase; }
.status-dot { display: inline-block; width: 7px; height: 7px; margin-right: 6px; vertical-align: middle; border-radius: 50%; background: var(--cyan); box-shadow: 0 0 0 4px #5be2f214; }
.hero { padding-block: 76px 38px; }
.hero-grid { display: grid; grid-template-columns: 1.12fr 1fr; align-items: center; gap: 56px; }
.hero-grid > *, .two-columns > *, .lifecycle-grid > *, .demo-panel > * { min-width: 0; }
.intro { max-width: 565px; color: #b5c5d9; font-size: 1.08rem; }
.hero-actions { display: flex; flex-wrap: wrap; gap: 12px; margin: 26px 0 14px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 8px; border: 1px solid #43566d; border-radius: 8px; padding: .65rem 1rem; color: var(--ink); text-decoration: none; font-size: .9rem; transition: background .18s, border-color .18s; }
.button:hover { color: var(--ink); background: #243750; border-color: var(--cyan); }
.button.primary { color: #081920; background: var(--cyan); border-color: var(--cyan); font-weight: 700; }
.button.primary:hover { color: #081920; background: #a0f1fa; }
.disclaimer, .muted { color: var(--muted); font-size: .87rem; }
.hero-console { overflow: hidden; border: 1px solid #365166; border-radius: 12px; background: #0c1625; box-shadow: 0 20px 65px #0004; }
.terminal-head { display: flex; align-items: center; gap: 12px; padding: 14px 18px; border-bottom: 1px solid var(--line); background: #142035; color: var(--muted); font: .72rem var(--mono); }
.terminal-dots { color: #59748a; font-size: .8rem; letter-spacing: 3px; }
.terminal-tag { margin-left: auto; border: 1px solid #526077; border-radius: 4px; padding: 3px 6px; color: var(--amber); font-size: .61rem; letter-spacing: .04em; }
.terminal-body { padding: 24px; }
.terminal-label { margin-bottom: 9px; color: var(--muted); font-size: .75rem; }
.terminal-command { white-space: pre-wrap; overflow-wrap: anywhere; color: var(--ink); font-size: .93rem; }
.prompt { color: var(--cyan); }
.pipeline { display: flex; align-items: center; flex-wrap: wrap; gap: 10px; margin: 26px 0 20px; }
.pipeline span { border: 1px solid #365263; border-radius: 5px; padding: 6px 10px; background: #102935; color: #a4e6ed; font: .7rem var(--mono); }
.pipeline i { color: #7999b2; font-style: normal; }
.terminal-stats { margin: 0; }
.terminal-stats > div { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 3px 15px; padding-block: 10px; border-top: 1px solid #253548; }
.terminal-stats dt { color: var(--muted); font-size: .76rem; }
.terminal-stats dd { margin: 0; font: .78rem/1.6 var(--mono); }
.block-text { color: var(--red); }
.continue-text { color: var(--green); }
.terminal-caption { margin: 13px 0 18px; color: var(--muted); font-size: .77rem; }
.terminal-foot { border-top: 1px solid var(--line); padding-top: 16px; color: #b4c6d6; font-size: .76rem; }
.feature-strip { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 20px; margin-top: 60px; padding-top: 27px; border-top: 1px solid var(--line); color: var(--muted); font-size: .84rem; }
.feature-strip strong { margin-right: 8px; color: var(--cyan); font-family: var(--mono); }
.article-index { gap: 10px 20px; padding-block: 20px 25px; border-bottom: 1px solid var(--line); }
.article-index .eyebrow { flex-basis: 100%; margin: 0 0 4px; }
.writeup { padding-block: 65px; border-bottom: 1px solid var(--line); }
.prose { max-width: 900px; color: #b5c5d9; }
.prose p { margin-bottom: 18px; }
.callout { border: 1px solid #345269; border-left: 3px solid var(--cyan); border-radius: 0 8px 8px 0; padding: 20px 24px; margin-block: 26px; background: #11202d; }
.callout-label { display: block; color: var(--cyan); font-size: .73rem; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; margin-bottom: 8px; }
.callout p { margin-bottom: 0; color: #becddd; }
.callout.warning { border-color: #67503c; border-left-color: var(--amber); background: #211d1c; }
.warning .callout-label { color: var(--amber); }
.flow-track { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1px; list-style: none; margin: 30px 0 0; padding: 0; border: 1px solid var(--line); border-radius: 9px; overflow: hidden; background: var(--line); }
.flow-track li { position: relative; padding: 23px; background: #111c2c; }
.flow-number { display: block; margin-bottom: 18px; font: .74rem var(--mono); color: var(--cyan); }
.flow-track strong { display: block; margin-bottom: 7px; font-size: .92rem; }
.flow-track li > span:last-child { display: block; color: var(--muted); font-size: .83rem; }
.panel { padding: 24px; border: 1px solid var(--line); border-radius: 10px; background: var(--surface); }
.number { display: block; margin-bottom: 13px; color: var(--cyan); font: .7rem/1.5 var(--mono); letter-spacing: .09em; }
.cards { display: grid; gap: 16px; margin-block: 24px; }
.three-columns { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.cards article { padding: 24px; border: 1px solid var(--line); border-radius: 9px; background: #0e1828; }
.cards p, .architecture p, .layer-grid p { margin-bottom: 0; color: var(--muted); font-size: .9rem; }
.architecture { margin-block: 30px; background: #0c1524; }
.architecture-row { display: grid; grid-template-columns: 110px 1fr 1fr; align-items: stretch; gap: 20px; }
.architecture .lane-label { align-self: center; color: var(--muted); font: .67rem var(--mono); letter-spacing: .1em; }
.architecture-node { padding: 20px; border: 1px solid #365166; border-radius: 8px; background: #152235; }
.architecture-node .number { color: #adbad2; }
.architecture-node.kernel-node { border-color: #38606b; background: #102730; }
.kernel-node .number { color: var(--cyan); }
.boundary { display: flex; flex-wrap: wrap; align-items: center; justify-content: center; gap: 12px; padding-block: 23px; color: var(--muted); font: .68rem/1.6 var(--mono); }
.boundary strong { color: var(--amber); font-weight: 400; }
.boundary-rule { flex: 1; min-width: 16px; border-top: 1px dashed #586075; }
.architecture .diagram-caption { margin-top: 24px; font-size: .82rem; }
.layer-grid, .two-columns { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; }
.direction-label { display: block; margin-bottom: 9px; color: var(--purple); font: .72rem var(--mono); letter-spacing: .1em; }
.long-code { display: block; margin-block: 15px; font-size: .77rem; }
.lifecycle-grid { display: grid; grid-template-columns: 1.2fr 1fr; align-items: start; gap: 40px; }
.step-list { counter-reset: steps; margin: 25px 0 0; padding: 0; list-style: none; }
.step-list li { counter-increment: steps; position: relative; padding: 0 0 25px 46px; }
.step-list li::before { content: counter(steps, decimal-leading-zero); position: absolute; left: 0; top: 4px; color: var(--cyan); font: .75rem var(--mono); }
.step-list li::after { content: ""; position: absolute; left: 10px; top: 28px; bottom: 6px; width: 1px; background: var(--line); }
.step-list li:last-child::after { display: none; }
.step-list strong { display: block; margin-bottom: 6px; }
.step-list span { color: var(--muted); font-size: .9rem; }
.cleanup-list { padding-left: 22px; color: #bdccdc; }
.cleanup-list li { padding: 5px 0 9px 5px; }
.cleanup-list li::marker { color: var(--purple); }
.note { color: var(--muted); font-size: .84rem; }
.cleanup-panel .note { padding-top: 18px; margin-bottom: 0; border-top: 1px solid var(--line); }
.workspace { background: #0c1423; padding-block: 60px; border-block: 1px solid var(--line); }
.section-heading { display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 16px; margin-bottom: 18px; }
.section-heading h2, .section-heading h3 { margin-bottom: 0; }
.badge { display: inline-block; border: 1px solid #435769; border-radius: 30px; padding: 5px 12px; color: #c1d0df; font: .66rem/1.5 var(--mono); letter-spacing: .02em; }
.rule-summary { margin: 26px 0 20px; }
.rule-summary > code { display: block; color: var(--amber); font-size: .95rem; }
.rule-summary p { margin: 10px 0 0; }
.decision-list { display: grid; gap: 10px; margin-bottom: 20px; }
.decision-list details { border: 1px solid #33485e; border-radius: 8px; background: #111e30; }
.decision-list details[open] { border-color: #467787; }
summary { cursor: pointer; }
.decision-list summary { display: grid; grid-template-columns: 26px 1fr auto; align-items: center; gap: 14px; padding: 19px 22px; list-style: none; font-size: .95rem; }
.decision-list summary::-webkit-details-marker { display: none; }
.decision-list summary > span:nth-child(2)::after { content: " +"; color: var(--cyan); font-family: var(--mono); }
.decision-list details[open] summary > span:nth-child(2)::after { content: " −"; }
.decision-list summary:hover { background: #172a3e; border-radius: 8px; }
.case-number { color: var(--muted); font: .75rem var(--mono); }
.decision { justify-self: end; border: 1px solid; border-radius: 5px; padding: 4px 9px; font: .67rem/1.5 var(--mono); letter-spacing: .04em; }
.block { color: var(--red); border-color: #855b54; background: #382622; }
.continue { color: var(--green); border-color: #3c725d; background: #132e28; }
.no-right { color: #c6b5ff; border-color: #675982; background: #2a253e; }
.decision-content { padding: 0 24px 10px 62px; color: #b7c8da; font-size: .91rem; }
.endpoint { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; margin: 0 0 18px; padding-block: 16px; border-block: 1px solid var(--line); }
.endpoint dt { margin-bottom: 5px; color: var(--muted); font-size: .75rem; }
.endpoint dd { margin: 0; color: var(--ink); font: .8rem/1.6 var(--mono); overflow-wrap: anywhere; }
.example-rule { border-top: 1px solid var(--line); padding-top: 16px; }
.example-rule strong { display: block; margin-bottom: 8px; font-size: .8rem; }
.ring-panel { margin-block: 26px 32px; }
.ring-panel p { margin-bottom: 0; color: var(--muted); font-size: .9rem; }
.ring-illustration { display: flex; gap: 7px; margin-block: 24px; }
.ring-illustration span { flex: 1; min-width: 0; text-align: center; padding: 22px 4px; border: 1px solid #416178; border-radius: 6px; color: #c1d3e4; background: #1a2f43; font: .8rem var(--mono); }
.ring-illustration .ring-old { border-style: dashed; border-color: #8b714f; background: #2a251e; color: var(--amber); }
.ring-illustration .ring-new { border-color: #559698; background: #16363b; color: var(--cyan); }
.definition-list { margin: 0; }
.definition-list > div { padding-block: 14px; border-top: 1px solid var(--line); }
.definition-list dt { margin-bottom: 5px; font-weight: 600; font-size: .93rem; }
.definition-list dd { margin: 0; color: var(--muted); font-size: .9rem; }
.security-contract { margin-bottom: 22px; }
.security-contract > code { color: var(--amber); font-size: 1rem; }
.security-contract p { margin: 16px 0 0; max-width: 850px; color: var(--muted); font-size: .9rem; }
.table-scroll { overflow-x: auto; border: 1px solid var(--line); border-radius: 9px; }
table { width: 100%; min-width: 650px; border-collapse: collapse; text-align: left; font-size: .9rem; }
caption { padding: 14px 20px; color: var(--muted); font-size: .8rem; text-align: left; }
th, td { padding: 18px 20px; border-top: 1px solid var(--line); vertical-align: top; }
thead { background: #152237; }
thead th { color: #b4c9dc; font-size: .78rem; }
tbody th { width: 26%; font-weight: 600; }
td { color: var(--muted); }
tbody tr:nth-child(even) { background: #0e1929; }
.validation-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 16px; margin-block: 28px; }
.validation-card { padding: 23px 20px; border: 1px solid var(--line); border-radius: 9px; background: #101c2d; }
.badge.passed { color: #9ce8bf; border-color: #3b6959; background: #16312b; font-size: .63rem; }
.validation-card > strong { display: block; color: var(--cyan); margin-block: 20px 10px; font: 1.9rem/1.3 var(--mono); }
.validation-card h3 { font-size: .95rem; }
.validation-card p { margin-bottom: 0; color: var(--muted); font-size: .85rem; }
.run-grid { margin-top: 30px; gap: 40px; }
.run-grid p { color: #b4c4d7; }
.code-panel { overflow: hidden; border: 1px solid #385168; border-radius: 8px; background: #080f1b; }
.code-head { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 8px; padding: 11px 16px; background: #162237; border-bottom: 1px solid #385168; color: var(--muted); font: .65rem/1.5 var(--mono); }
.code-panel pre { overflow-x: auto; padding: 20px; font-size: .88rem; }
.code-panel pre code { font-size: inherit; color: #c4eaf0; overflow-wrap: normal; }
.run-grid .muted { margin-top: 15px; font-size: .82rem; }
.check-list { list-style: none; padding: 0; margin-block: 22px; }
.check-list li { position: relative; padding: 0 0 14px 25px; color: var(--muted); font-size: .9rem; }
.check-list li::before { content: "→"; position: absolute; left: 0; color: var(--cyan); }
.demo-panel { display: grid; grid-template-columns: 1fr 1fr; gap: 32px; align-items: center; margin-block: 32px 20px; }
.demo-panel p { color: var(--muted); font-size: .9rem; }
.demo-panel .note { margin-bottom: 0; font-size: .82rem; }
.plain-list { padding-left: 22px; margin: 0; color: var(--muted); font-size: .94rem; }
.plain-list li { padding: 0 0 14px 6px; }
.plain-list li::marker { color: var(--cyan); }
.closing-note { max-width: 960px; margin: 36px 0 0; padding-left: 24px; border-left: 2px solid var(--cyan); color: #c2d5e5; font-size: 1.18rem; line-height: 1.7; }
.source-section { border-bottom: 0; }
.source-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.source-card { padding: 24px; border: 1px solid var(--line); border-radius: 9px; background: #101b2b; text-decoration: none; transition: background .18s, border-color .18s; }
.source-card:hover { background: #15263b; border-color: #577d90; }
.source-card h3 { font-size: .94rem; overflow-wrap: anywhere; }
.source-card h3 span { color: var(--cyan); }
.source-card p { margin: 0; color: var(--muted); font-size: .87rem; }
.site-footer { display: flex; justify-content: space-between; gap: 30px; padding-block: 35px 48px; border-top: 1px solid var(--line); }
.site-footer p { margin: 15px 0 0; color: var(--muted); font-size: .8rem; }
.site-footer nav { align-content: start; padding-top: 10px; font-size: .8rem; }

@media (max-width: 1050px) {
  .site-header { align-items: flex-start; }
  .site-header nav { justify-content: flex-end; gap: 8px 18px; }
  .hero-grid { gap: 30px; }
  .terminal-body { padding: 20px; }
  .terminal-head { gap: 8px; padding-inline: 13px; }
  .terminal-dots { letter-spacing: 0; }
  .architecture-row { grid-template-columns: 1fr 1fr; }
  .architecture .lane-label { grid-column: 1 / -1; }
  .validation-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .source-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
@media (max-width: 800px) {
  .wrap { width: calc(100% - 40px); }
  .site-header { position: static; flex-wrap: wrap; gap: 16px; }
  .site-header nav { justify-content: flex-start; }
  section[id], main[id] { scroll-margin-top: 24px; }
  .hero { padding-top: 42px; }
  .hero-grid, .lifecycle-grid, .demo-panel { grid-template-columns: 1fr; }
  .hero-grid { gap: 30px; }
  h1 { font-size: clamp(2.8rem, 8vw, 4.2rem); }
  .hero-console { max-width: 600px; }
  .feature-strip { margin-top: 32px; display: grid; grid-template-columns: 1fr 1fr; }
  .flow-track { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .three-columns { grid-template-columns: 1fr; }
  .layer-grid, .two-columns { gap: 24px; }
  .writeup, .workspace { padding-block: 45px; }
  .run-grid { grid-template-columns: 1fr; }
  .decision-content { padding-left: 24px; }
  .endpoint { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .site-footer { flex-direction: column; }
}
@media (max-width: 540px) {
  .wrap { width: calc(100% - 32px); }
  .site-header nav { gap: 10px 16px; font-size: .78rem; }
  .intro { font-size: 1rem; }
  .hero-actions .button { flex-grow: 1; }
  .hero-console { border-radius: 8px; }
  .terminal-head { flex-wrap: wrap; }
  .terminal-body { padding: 18px; }
  .terminal-stats > div { flex-direction: column; }
  .feature-strip { font-size: .76rem; gap: 15px; }
  .article-index { gap: 9px 17px; font-size: .8rem; }
  .panel, .cards article, .source-card { padding: 20px; }
  .callout { padding: 18px; }
  .flow-track li { padding: 18px; }
  .architecture-row, .layer-grid, .two-columns, .source-grid { grid-template-columns: 1fr; }
  .architecture-node { padding: 17px; }
  .boundary { flex-direction: column; gap: 8px; }
  .boundary-rule { width: 100%; flex: none; }
  .decision-list summary { grid-template-columns: 22px 1fr; gap: 10px; padding: 17px; }
  .decision { grid-column: 2; justify-self: start; }
  .decision-content { padding-inline: 18px; }
  .endpoint { grid-template-columns: 1fr; }
  .ring-illustration { gap: 4px; }
  .ring-illustration span { font-size: .57rem; padding-block: 20px; }
  .validation-grid { grid-template-columns: 1fr; }
  .validation-card { display: grid; grid-template-columns: 1fr auto; gap: 0 8px; }
  .validation-card .badge { justify-self: start; align-self: center; }
  .validation-card > strong { grid-column: 2; grid-row: 1 / 3; font-size: 1.3rem; align-self: center; margin: 0; }
  .validation-card h3 { grid-column: 1; margin-top: 12px; }
  .validation-card p { grid-column: 1 / -1; }
  .code-panel pre { padding: 16px; font-size: .8rem; }
  .security-contract > code { font-size: .85rem; }
  .closing-note { font-size: 1.05rem; padding-left: 18px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; }
}
@media print {
  :root { color-scheme: light; --ink: #111; --muted: #333; --cyan: #075c68; --line: #aaa; }
  body { background: white; color: black; font-size: 10pt; }
  .wrap { width: 100%; }
  .site-header { position: static; background: white; }
  .site-header nav, .hero-actions, .article-index, .site-footer nav, .skip-link { display: none; }
  .hero, .writeup, .workspace { padding-block: 22px; }
  .hero-grid, .lifecycle-grid, .two-columns, .demo-panel { display: block; }
  .hero-console { display: none; }
  .panel, .workspace, .cards article, .source-card, .validation-card, .architecture-node, .callout { background: white; box-shadow: none; }
  p, code, h1 span, .prose, .muted, .note, .plain-list, .cards p, .layer-grid p { color: #222; }
  a { color: #075c68; }
  .table-scroll, .code-panel pre { overflow: visible; }
  .code-panel, .code-head { background: white; }
  .code-panel pre { white-space: pre-wrap; }
  table { min-width: 0; font-size: 9pt; }
  .panel, .cards article, .validation-card { break-inside: avoid; }
}