@font-face {
  font-family: Ubuntu;
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('../download/fonts/ubuntu-latin-400-normal.woff2') format('woff2');
}
@font-face {
  font-family: Ubuntu;
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('../download/fonts/ubuntu-latin-500-normal.woff2') format('woff2');
}
@font-face {
  font-family: Ubuntu;
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url('../download/fonts/ubuntu-latin-700-normal.woff2') format('woff2');
}

:root {
  color-scheme: light;
  --ink: #171717;
  --body: #3f3f3f;
  --muted: #6f6f6f;
  --line: #ececec;
  --field: #f5f5f5;
  --selected: #f2f3f5;
  --mono: 'SFMono-Regular', Consolas, 'Liberation Mono', monospace;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 92px; -webkit-text-size-adjust: 100%; }
body { margin: 0; background: #fff; color: var(--ink); font: 15px/1.8 Ubuntu, 'PingFang SC', 'Microsoft YaHei UI', 'Microsoft YaHei', sans-serif; -webkit-font-smoothing: antialiased; }
a { color: inherit; text-decoration: none; }
a:focus-visible, summary:focus-visible, [tabindex]:focus-visible { outline: 2px solid #171717; outline-offset: 4px; border-radius: 4px; }
img, svg { display: block; }
button, summary, a { -webkit-tap-highlight-color: transparent; }
.skip-link { position: fixed; top: -80px; left: 16px; z-index: 10; padding: 10px 16px; background: var(--ink); color: white; }
.skip-link:focus { top: 8px; }
.docs-header { position: sticky; top: 0; z-index: 5; display: flex; align-items: center; gap: 20px; height: 68px; padding: 0 36px; border-bottom: 1px solid var(--line); background: #fff; }
.docs-brand { display: flex; align-items: center; gap: 10px; font-size: 21px; font-weight: 500; letter-spacing: -.6px; }
.header-divider { color: #c5c5c5; font-size: 22px; font-weight: 400; }
.docs-wordmark { font-size: 14px; }
.header-links { display: flex; align-items: center; gap: 28px; margin-left: auto; color: var(--body); font-size: 13px; }
.header-links a:hover, .docs-footer a:hover { color: #000; text-decoration: underline; text-underline-offset: 4px; }
.download-link { padding: 6px 14px; border: 1px solid #e5e5e5; border-radius: 8px; }
.docs-layout { display: grid; grid-template-columns: 208px minmax(0, 1fr) 168px; column-gap: 32px; max-width: 1480px; margin: auto; padding: 0 32px; }
.docs-sidebar { position: sticky; top: 68px; display: flex; flex-direction: column; align-self: start; height: calc(100dvh - 68px); min-height: 0; padding: 38px 24px 24px 0; border-right: 1px solid var(--line); font-size: 13px; }
.sidebar-heading { display: flex; flex-shrink: 0; align-items: center; gap: 12px; margin-bottom: 24px; }
.chapter-nav { flex: 1; min-height: 0; overflow-y: auto; padding-right: 3px; }
.nav-project .nav-label { padding-left: 12px; }
.nav-section { margin: 20px 12px 8px; color: var(--muted); font-size: 10px; }
.sidebar-mark { display: grid; place-items: center; width: 36px; height: 36px; border: 1px solid #e5e5e5; border-radius: 10px; font-size: 25px; line-height: 1; }
.sidebar-heading strong, .sidebar-heading span:not(.sidebar-mark) { display: block; }
.sidebar-heading strong { font-size: 14px; font-weight: 500; }
.sidebar-heading div > span { margin-top: 1px; color: var(--muted); font-size: 11px; }
.nav-label { margin: 0 0 10px; color: var(--muted); font-size: 11px; font-weight: 400; letter-spacing: .5px; }
.chapter-nav a, .mobile-navigation nav a { display: flex; align-items: center; gap: 13px; margin: 3px 0; padding: 8px 12px; border-radius: 8px; color: var(--body); }
.chapter-nav a:hover, .mobile-navigation nav a:hover { background: #f7f7f7; }
.chapter-nav a[aria-current], .mobile-navigation a[aria-current] { background: var(--selected); color: var(--ink); font-weight: 500; }
.chapter-nav .nav-home, .mobile-navigation nav .nav-home { margin: 0 0 20px; border: 1px solid var(--line); background: #fff; }
.nav-home-icon { width: 14px; color: var(--muted); font-size: 16px; line-height: 1; text-align: center; }
.nav-number { color: #8a8a8a; font: 11px var(--mono); }
.docs-resources { flex-shrink: 0; margin-top: 24px; padding-top: 16px; border-top: 1px solid var(--line); }
.resource-links a { display: block; padding: 7px 0; color: var(--muted); }
.resource-links a:hover { color: var(--ink); }
.page-sources { margin-bottom: 20px; min-width: 0; }
.page-sources a { display: block; padding: 6px 0; overflow-wrap: anywhere; }
.page-sources strong { display: block; font-size: 11px; font-weight: 500; }
.page-sources a > span { display: block; color: var(--muted); font: 10px/1.6 var(--mono); }
.page-sources a:hover strong { text-decoration: underline; text-underline-offset: 3px; }
.source-line { color: var(--muted); font: 10px var(--mono); white-space: nowrap; }
.toc-note p { overflow-wrap: anywhere; }
.docs-version { display: flex; align-items: center; gap: 7px; margin-top: 24px; color: var(--body); font-size: 11px; }
.version-dot { width: 5px; height: 5px; border-radius: 50%; background: var(--ink); }
main { min-width: 0; padding-top: 34px; }
.docs-switchers { display: flex; flex-wrap: wrap; gap: 10px; margin-bottom: 20px; }
.docs-switcher { position: relative; font-size: 12px; }
.docs-switcher summary { display: flex; align-items: center; gap: 10px; min-height: 36px; padding: 6px 10px; border: 1px solid var(--line); border-radius: 8px; background: #fff; cursor: pointer; list-style: none; user-select: none; }
.docs-switcher summary:hover { background: var(--selected); }
.docs-switcher summary::-webkit-details-marker { display: none; }
.docs-switcher summary > span:last-child { margin-left: auto; flex: none; transform: rotate(45deg); transition: transform 150ms ease-out; }
.docs-switcher[open] summary > span:last-child { transform: rotate(225deg); }
.switcher-label { color: var(--muted); font-size: 10px; }
.switcher-label, .switcher-current { line-height: 16px; }
.switcher-chevron { width: 7px; height: 7px; border-right: 1px solid currentColor; border-bottom: 1px solid currentColor; }
.switcher-menu { position: absolute; z-index: 20; top: calc(100% + 6px); left: 0; width: 220px; max-width: calc(100vw - 32px); max-height: min(320px, calc(100dvh - 32px)); overflow-y: auto; padding: 4px; border: 1px solid var(--line); border-radius: 8px; background: #fff; box-shadow: 0 8px 24px #0000000d; }
.switcher-menu--up { top: auto; bottom: calc(100% + 6px); }
.docs-switcher:last-child .switcher-menu { left: auto; right: 0; }
.switcher-menu a { display: flex; align-items: center; gap: 8px; min-height: 36px; padding: 7px 10px; border-radius: 6px; }
.switcher-menu a:hover, .switcher-menu a[aria-current] { background: var(--selected); }
.switcher-menu a[aria-current] { font-weight: 500; }
.switcher-menu a[aria-current]::after { content: '✓'; margin-left: auto; font-size: 12px; }
.switcher-menu small { margin-left: auto; color: var(--muted); font-size: 10px; font-weight: 400; }
.switcher-menu a[aria-current]::after + small { margin-left: 0; }
.mobile-navigation { display: none; }
.breadcrumb { display: flex; flex-wrap: wrap; gap: 4px 10px; color: var(--muted); font-size: 11px; }
.breadcrumb > span { color: #c5c5c5; }
.breadcrumb a:hover { text-decoration: underline; }
.article-heading { margin: 32px 0 30px; }
.eyebrow { margin: 0 0 15px; color: var(--muted); font: 10px/1.5 var(--mono); letter-spacing: 1.1px; }
h1 { margin: 0; font-size: 34px; font-weight: 700; line-height: 1.35; letter-spacing: -1.2px; }
.article-description { margin: 16px 0; max-width: 650px; color: var(--muted); font-size: 15px; line-height: 1.9; }
.article-meta { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 20px; color: var(--muted); font-size: 10px; }
.docs-toc { position: sticky; top: 68px; display: flex; flex-direction: column; align-self: start; height: calc(100dvh - 68px); min-height: 0; padding: 43px 0 24px; font-size: 11px; overflow-y: auto; }
.toc-content { flex: 1 0 auto; }
.toc-content nav { border-left: 1px solid var(--line); padding-left: 18px; }
.toc-content nav a { display: block; margin: 9px 0; color: var(--muted); line-height: 1.7; }
.toc-content nav a:hover { color: var(--ink); }
.toc-note { margin: 32px 0 0 18px; padding-top: 16px; border-top: 1px solid var(--line); color: var(--muted); }
.toc-note p { margin: 8px 0 0; line-height: 1.9; }
.prose { color: var(--body); font-size: 14px; }
.prose h2 { margin: 42px 0 17px; color: var(--ink); font-size: 21px; font-weight: 500; line-height: 1.5; letter-spacing: -.5px; }
.prose h3 { margin: 27px 0 10px; color: var(--ink); font-size: 16px; font-weight: 500; }
.prose p { margin: 14px 0; line-height: 1.95; }
.prose strong { color: var(--ink); font-weight: 500; }
.prose > ul, .prose > ol { padding-left: 21px; margin: 18px 0; }
.prose li { padding-left: 3px; margin: 9px 0; }
.prose p a, .prose li a { text-decoration: underline; text-decoration-color: #c5c5c5; text-underline-offset: 4px; overflow-wrap: anywhere; }
.prose p a:hover, .prose li a:hover { text-decoration-color: var(--ink); }
code { padding: 2px 5px; border-radius: 4px; background: var(--field); color: var(--ink); font: .86em/1.7 var(--mono); overflow-wrap: anywhere; }
pre { max-width: 100%; overflow: auto; margin: 22px 0; padding: 22px 24px; border: 1px solid var(--line); border-radius: 12px; background: #fafafa; tab-size: 4; }
pre code { padding: 0; background: transparent; color: inherit; font-size: 13px; line-height: 1.85; overflow-wrap: normal; }
pre[data-language]::before { content: attr(data-language); display: block; margin-bottom: 14px; color: var(--muted); font: 10px/1.5 var(--mono); letter-spacing: .6px; text-transform: uppercase; user-select: none; }
pre:focus-visible { outline: 2px solid var(--ink); outline-offset: 3px; }
pre.shiki { color: var(--shiki-light); background: var(--shiki-light-bg); }
pre.shiki span { color: var(--shiki-light); font-style: var(--shiki-light-font-style, normal); font-weight: var(--shiki-light-font-weight, normal); }
.callout { margin: 24px 0; padding: 17px 20px; border: 1px solid var(--line); border-left: 3px solid #3a3a3a; border-radius: 0 8px 8px 0; background: #fafafa; font-size: 13px; }
.callout > strong { display: block; font-weight: 500; }
.callout p { margin: 6px 0 0; }
.callout div { margin-top: 6px; line-height: 1.9; }
figure { margin: 26px 0; }
figcaption { padding: 13px 16px; color: var(--muted); font-size: 10px; line-height: 1.8; }
.figure-label { display: block; margin-bottom: 3px; color: var(--body); font-weight: 500; letter-spacing: .3px; }
/* All diagram renderers share the same reading surface. */
.diagram { overflow: hidden; margin: 32px 0; border: 1px solid var(--lab-line); border-radius: 16px; background: #fff; box-shadow: 0 8px 32px #17352104; }
.diagram-scroll { overflow: auto; padding: 24px; background: var(--lab-canvas); scrollbar-width: thin; scrollbar-color: #c1ccc3 transparent; }
.diagram svg, .diagram.pele-diagram svg { display: block; width: auto; min-width: 0; max-width: none; height: auto; margin-inline: auto; background: var(--lab-canvas); }
.diagram .pele { --pele-font: Ubuntu, 'PingFang SC', 'Microsoft YaHei UI', 'Microsoft YaHei', sans-serif; --pele-font-mono: var(--mono); --pele-title-weight: 500; --pele-heading-weight: 500; }
.diagram-hint { display: none; padding: 8px 24px; background: var(--lab-canvas); color: var(--lab-muted); font-size: 12px; line-height: 16px; }
.diagram figcaption { border: 0; padding: 24px 24px 16px; background: #fff; color: var(--lab-muted); font-size: 14px; line-height: 24px; }
.diagram .figure-label { margin: 4px 0 8px; color: var(--lab-ink); font-size: 18px; line-height: 28px; font-weight: 500; letter-spacing: -.2px; text-wrap: balance; }
.principles, .capability-cards { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 20px; margin: 26px 0; }
.principles > div { padding: 17px 0; border-top: 1px solid #d4d4d4; }
.step-number { color: #8a8a8a; font: 11px var(--mono); }
.principles h3 { margin: 13px 0 8px; font-size: 14px; }
.principles p, .capability-cards p { margin: 0; color: var(--muted); font-size: 12px; line-height: 1.85; }
.component-figure { border: 1px solid var(--line); border-radius: 10px; }
.component-strip { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); padding: 22px 10px; }
.component-strip > div { display: grid; gap: 8px; text-align: center; border-right: 1px solid var(--line); }
.component-strip > div:last-child { border: 0; }
.component-strip code { background: transparent; padding: 0; font-size: 12px; }
.component-strip span { color: var(--muted); font-size: 10px; }
.component-figure figcaption { border-top: 1px solid var(--line); }
.capability-cards { gap: 10px; }
.capability-cards > div { padding: 16px; border: 1px solid var(--line); border-radius: 10px; }
.mini-label { color: var(--muted); font-size: 10px; letter-spacing: .4px; }
.capability-cards strong { display: block; margin: 8px 0 6px; font-size: 12px; }
.chapter-cards { display: grid; gap: 10px; }
.chapter-cards > a { display: grid; grid-template-columns: 28px 1fr 20px; gap: 2px 12px; padding: 17px 20px; border: 1px solid var(--line); border-radius: 10px; }
.chapter-cards > a:hover { background: #f7f7f7; border-color: #d4d4d4; }
.chapter-cards .step-number { grid-row: span 2; padding-top: 4px; }
.chapter-cards strong { font-size: 13px; }
.chapter-cards a > span:not(.step-number):not(.chapter-arrow) { grid-column: 2; color: var(--muted); font-size: 11px; }
.chapter-cards .chapter-arrow { grid-column: 3; grid-row: 1 / 3; align-self: center; color: var(--muted); }
.portal-intro { display: flex; align-items: center; gap: 24px; margin: 30px 0; padding: 30px; border: 1px solid var(--line); border-radius: 12px; background: radial-gradient(#d4d4d4 .7px, transparent .7px) 0 0 / 16px 16px, #fafafa; }
.portal-orbit { display: grid; flex-shrink: 0; place-items: center; width: 78px; height: 78px; border: 1px solid #d4d4d4; border-radius: 50%; background: #fff; font-size: 60px; line-height: 1; }
.portal-intro strong { display: block; margin: 8px 0; font-size: 19px; font-weight: 500; }
.portal-intro p { margin: 0; color: var(--muted); font-size: 11px; }
.project-cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 300px), 1fr)); gap: 16px; margin: 24px 0; }
.project-cards > a { display: block; padding: 24px; border: 1px solid var(--line); border-radius: 12px; }
.project-cards > a:hover { border-color: #d4d4d4; background: #fafafa; }
.project-card-top, .project-card-bottom { display: flex; align-items: center; justify-content: space-between; }
.project-cards > a > strong { display: block; margin: 20px 0 8px; font-size: 23px; letter-spacing: -.6px; }
.project-cards p { max-width: 480px; margin: 0; color: var(--muted); font-size: 13px; }
.project-card-bottom { margin-top: 24px; padding-top: 16px; border-top: 1px solid var(--line); color: var(--muted); font-size: 11px; }
.reading-paths { display: grid; gap: 0; }
.reading-paths > div { display: grid; grid-template-columns: 65px 100px 1fr; gap: 12px; align-items: baseline; padding: 17px 0; border-bottom: 1px solid var(--line); }
.reading-paths strong { font-size: 13px; }
.reading-paths p { margin: 0; color: var(--muted); font-size: 12px; }
.table-scroll { overflow-x: auto; margin: 25px 0; border: 1px solid var(--line); border-radius: 10px; }
table { width: 100%; min-width: 540px; border-collapse: collapse; text-align: left; font-size: 13px; line-height: 1.85; }
caption { padding: 12px 16px; background: #fafafa; border-bottom: 1px solid var(--line); text-align: left; color: var(--muted); font-size: 10px; letter-spacing: .3px; }
th, td { padding: 13px 16px; border-bottom: 1px solid var(--line); vertical-align: top; }
thead th { color: var(--ink); font-weight: 500; font-size: 12px; background: #fafafa; }
tbody th { min-width: 125px; color: var(--ink); font-weight: 500; }
td a { text-decoration: underline; text-decoration-color: #c5c5c5; text-underline-offset: 4px; }
tbody tr:last-child > * { border-bottom: 0; }
th[data-align="left"], td[data-align="left"] { text-align: left; }
th[data-align="center"], td[data-align="center"] { text-align: center; }
th[data-align="right"], td[data-align="right"] { text-align: right; }
.prose a { overflow-wrap: anywhere; }
.prose blockquote { margin: 24px 0; padding: 1px 20px; border-left: 3px solid #d4d4d4; color: var(--muted); }
.prose .contains-task-list { padding-left: 0; list-style: none; }
.prose .task-list-item { padding-left: 24px; position: relative; }
.prose .task-list-item > input { position: absolute; left: 0; top: .55em; margin: 0; accent-color: var(--ink); }
.prose [data-footnotes] { margin-top: 40px; padding-top: 20px; border-top: 1px solid var(--line); font-size: 13px; }
.prose .sr-only { position: absolute; width: 1px; height: 1px; padding: 0; overflow: hidden; clip-path: inset(50%); white-space: nowrap; }
.stack-figure { border: 1px solid var(--line); border-radius: 12px; overflow: hidden; }
.stack-figure > div { display: grid; gap: 5px; padding: 19px 22px; border-bottom: 1px solid var(--line); }
.stack-figure > div:nth-child(2) { background: var(--selected); box-shadow: inset 3px 0 #3a3a3a; }
.stack-figure strong { font-size: 13px; }
.stack-figure div > span:last-child { color: var(--muted); font-size: 11px; }
.verification-figure { padding: 20px; border: 1px solid var(--line); border-radius: 12px; }
.verification-row { display: flex; align-items: center; gap: 18px; padding: 14px; border-radius: 8px; background: #fafafa; }
.version { padding-right: 18px; border-right: 1px solid #e5e5e5; font-size: 12px; white-space: nowrap; }
.verification-row strong, .verification-row div > span { display: block; font-size: 12px; }
.verification-row div > span { color: var(--muted); font-size: 10px; }
.result-pill { margin-left: auto; padding: 2px 9px; border: 1px solid #d4d4d4; border-radius: 20px; color: var(--ink); font: 10px/1.8 var(--mono); white-space: nowrap; }
.result-open { border-style: dashed; color: var(--muted); }
.version-change { padding: 12px 20px; color: var(--muted); font-size: 10px; }
.verification-figure figcaption { padding: 14px 0 0; }
.page-navigation { display: flex; gap: 16px; margin: 42px 0 35px; padding-top: 24px; border-top: 1px solid var(--line); }
.page-navigation a { flex: 1; display: grid; gap: 4px; padding: 12px 16px; border: 1px solid var(--line); border-radius: 8px; }
.page-navigation a:last-child { text-align: right; }
.page-navigation a:hover { background: #fafafa; }
.page-navigation span { color: var(--muted); font-size: 10px; }
.page-navigation strong { font-size: 13px; font-weight: 500; }
.docs-footer { display: flex; justify-content: space-between; gap: 16px; padding: 0 0 35px; color: var(--muted); font-size: 10px; }

@media (min-width: 1440px) { .docs-layout { column-gap: 32px; } }
@media (max-width: 1199px) {
  .docs-layout { grid-template-columns: 196px minmax(0, 1fr); column-gap: 32px; padding: 0 24px; }
  .docs-toc { position: static; grid-column: 2; height: auto; padding: 0 0 28px; }
  .toc-content { display: none; }
  .docs-resources { display: flex; flex-wrap: wrap; align-items: flex-end; justify-content: space-between; gap: 24px; margin: 0; }
  .page-sources { flex-basis: 100%; display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 8px 20px; margin-bottom: 0; }
  .page-sources .nav-label { grid-column: 1 / -1; margin: 0; }
  .docs-sidebar { padding-right: 20px; }
}
@media (max-width: 800px) {
  .diagram-hint { display: block; }
  html { scroll-padding-top: 80px; }
  .docs-header { height: 60px; padding: 0 20px; gap: 14px; }
  .docs-brand { font-size: 19px; }
  .docs-brand img { width: 27px; height: 27px; }
  .docs-wordmark { font-size: 12px; }
  .header-links { gap: 16px; font-size: 11px; }
  .header-links > a:first-child { display: none; }
  .download-link { padding: 5px 10px; }
  .docs-layout { display: block; max-width: 780px; padding: 0 24px; }
  .docs-sidebar { display: none; }
  main { padding-top: 16px; }
  .mobile-navigation { display: block; margin-bottom: 24px; border: 1px solid var(--line); border-radius: 8px; font-size: 12px; }
  .mobile-navigation summary { display: flex; justify-content: space-between; padding: 10px 14px; cursor: pointer; list-style: none; }
  .mobile-navigation summary::-webkit-details-marker { display: none; }
  .mobile-navigation[open] summary { border-bottom: 1px solid var(--line); }
  .mobile-navigation nav { padding: 6px; }
  .mobile-navigation .nav-project { margin: 12px 0 0; }
  .article-heading { margin-top: 24px; }
  h1 { font-size: 29px; letter-spacing: -.8px; }
  .prose h2 { font-size: 20px; }
}
@media (max-width: 480px) {
  .docs-header { padding: 0 16px; gap: 11px; }
  .header-links { gap: 13px; }
  .header-links > a:nth-child(2) { display: none; }
  .docs-layout { padding: 0 20px; }
  .breadcrumb { font-size: 10px; gap: 7px; }
  .article-description { font-size: 14px; }
  .portal-intro { gap: 16px; padding: 22px 16px; }
  .portal-orbit { width: 48px; height: 48px; font-size: 38px; }
  .portal-intro strong { font-size: 16px; }
  .portal-intro p { font-size: 10px; }
  .reading-paths > div { grid-template-columns: 48px 1fr; gap: 4px 10px; }
  .reading-paths p { grid-column: 2; }
  .principles, .capability-cards { grid-template-columns: 1fr; gap: 12px; }
  .principles > div { display: grid; grid-template-columns: 28px 1fr; gap: 4px 12px; padding: 13px 0 0; }
  .principles .step-number { grid-row: span 2; padding-top: 5px; }
  .principles h3 { margin: 0; }
  .principles p { grid-column: 2; }
  .capability-cards > div { display: grid; grid-template-columns: 28px 1fr; gap: 4px 12px; padding: 13px; }
  .capability-cards .mini-label { grid-row: span 2; padding-top: 2px; }
  .capability-cards strong { margin: 0; }
  .capability-cards p { grid-column: 2; }
  .component-strip { gap: 10px 0; grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .component-strip > div:nth-child(3) { border: 0; }
  .verification-figure { padding: 12px; }
  .verification-row { gap: 10px; padding: 10px; flex-wrap: wrap; }
  .version { padding-right: 10px; }
  .result-pill { margin-left: 0; }
  pre { padding: 16px; }
  .docs-footer { flex-direction: column; gap: 8px; }
}
@media print {
  .docs-header, .docs-sidebar, .docs-toc, .mobile-navigation, .page-navigation { display: none; }
  .docs-layout { display: block; padding: 0; }
  main { padding: 0; }
  .diagram svg { min-width: 0; }
  .diagram, pre, .callout { break-inside: avoid; }
}

:root {
  --lab-ink: #243029;
  --lab-muted: #626e65;
  --lab-line: #e1e7e1;
  --lab-canvas: #f6f8f5;
  --lab-accent: #347653;
  --lab-selected: #edf4ee;
  --lab-curve: cubic-bezier(.22,1,.36,1);
}
[hidden] { display: none !important; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
.prose > :is(p, h2, h3, ul, ol, blockquote) { max-width: 80ch; }
.prose :is(h2, h3) { text-wrap: balance; }
.prose p { text-wrap: pretty; }
.reading-lab, .diagram { scroll-margin-top: 16px; }
.diagram-kicker { display: block; margin: 0 !important; color: var(--lab-muted); font-size: 12px !important; line-height: 16px !important; font-weight: 400; letter-spacing: .5px; }
.reading-lab button, .diagram button, .doc-viewer button { font: inherit; font-size: 12px; line-height: 16px; cursor: pointer; }
.reading-lab button:focus-visible, .diagram button:focus-visible, .doc-viewer button:focus-visible { outline: 2px solid var(--lab-accent); outline-offset: 4px; }
.walk-controls, .diagram-tools { display: flex; align-items: center; flex-wrap: wrap; gap: 8px; padding: 0 24px 16px; margin: 0; }
.walk-controls > button, .walk-arrows button, .diagram-tools button, .walk-code-tools button, .doc-viewer-header button { display: inline-flex; align-items: center; justify-content: center; min-height: 32px; padding: 8px 12px; border: 1px solid var(--lab-line); border-radius: 8px; background: #fff; color: var(--lab-ink); transition: transform 300ms var(--lab-curve), opacity 300ms var(--lab-curve); }
.walk-controls button:hover, .diagram-tools button:hover, .walk-code-tools button:hover, .doc-viewer-header button:hover { background: var(--lab-selected); }
.walk-controls button:active, .diagram-tools button:active, .walk-code-tools button:active { transform: scale(.98); }
.walk-controls button:disabled { opacity: .35; cursor: default; }
.walk-arrows { display: flex; gap: 4px; }
.walk-arrows button { width: 32px; padding: 8px; font-size: 16px; }
.diagram-tool-note, .walk-hint { color: var(--lab-muted); font-size: 12px; line-height: 16px; }
.diagram-tool-note { margin-right: auto; }
.atlas-steps { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 8px; padding: 16px !important; margin: 0 !important; list-style: none; }
.atlas-steps li { min-width: 0; margin: 0 !important; padding: 12px; border: 1px solid transparent; border-radius: 12px; background: var(--lab-canvas); }
.atlas-step { display: flex; align-items: baseline; gap: 8px; padding: 0; border: 0; background: transparent; text-align: left; font-size: 14px !important; line-height: 20px !important; font-weight: 500 !important; color: var(--lab-ink); }
.atlas-steps p { margin: 8px 0 !important; color: var(--lab-muted); font-size: 12px; line-height: 20px !important; }
.atlas-steps .source-ref { display: inline-block; font-size: 12px; max-width: 100%; }
.atlas-steps .source-ref code { padding: 0; background: transparent; font-size: 12px; overflow-wrap: anywhere; }
.atlas-credit { display: flex; align-items: center; justify-content: flex-end; gap: 16px; margin: 0 !important; padding: 0 24px 16px; color: var(--lab-muted); font-size: 12px !important; line-height: 16px !important; }
.atlas-credit a { white-space: nowrap; }
.source-walk { container: document-lab / inline-size; margin: 32px 0; padding: 24px; border: 1px solid var(--lab-line); border-radius: 16px; background: #fff; box-shadow: 0 8px 32px #17352104; }
.walk-heading { display: flex; justify-content: space-between; align-items: center; gap: 24px; }
.prose .walk-heading h3 { margin: 4px 0 0; color: var(--lab-ink); font-size: 18px; line-height: 28px; font-weight: 500; letter-spacing: -.2px; }
.walk-position { flex-shrink: 0; padding: 8px 12px; border: 1px solid var(--lab-line); border-radius: 8px; color: var(--lab-muted); font: 12px/16px var(--mono); }
.prose .walk-intro { margin: 12px 0 16px; color: var(--lab-muted); font-size: 14px; line-height: 24px; }
.walk-controls { gap: 12px; padding: 0 0 16px; }
.walk-controls > button:last-child { margin-left: auto; }
.walk-inline-position { display: none; color: var(--lab-muted); font: 12px/16px var(--mono); }
.walk-stop { scroll-margin-top: 48px; min-width: 0; margin: 0 0 12px; }
.walk-narrative { padding: 8px 12px; border: 1px solid transparent; border-radius: 12px; }
.walk-narrative.is-current { padding-block: 12px; border-color: #b7cdbc; background: var(--lab-selected); }
.walk-title { display: flex; align-items: baseline; gap: 8px; width: 100%; padding: 0; border: 0; background: transparent; color: var(--lab-ink); text-align: left; font-size: 14px !important; line-height: 24px !important; font-weight: 500 !important; text-wrap: pretty; }
.walk-title:disabled { cursor: default; }
.walk-title .step-number { display: inline-grid; flex-shrink: 0; place-items: center; min-width: 24px; height: 24px; color: var(--lab-muted); font: 12px/16px var(--mono); border-radius: 6px; }
.walk-title[aria-current] .step-number { background: #dceade; color: #2a6040; }
.walk-title[aria-current] { color: #285f40; }
.walk-step-arrow { margin-left: auto; color: var(--lab-muted); opacity: 0; transition: opacity 300ms var(--lab-curve); }
.walk-title:hover .walk-step-arrow, .walk-title[aria-current] .walk-step-arrow { opacity: 1; }
.walk-detail { padding: 4px 0 0; }
.prose .walk-detail p { margin: 8px 0; color: #45594b; font-size: 14px; line-height: 24px; }
.prose .walk-detail .walk-takeaway { color: #2b6144; font-size: 12px; line-height: 20px; }
.walk-detail .source-ref { display: inline-block; margin-top: 4px; font-size: 12px; }
.walk-detail .source-ref code { background: transparent; padding: 0; font-size: 12px; }
.walk-code { min-width: 0; margin-top: 12px; overflow: hidden; border: 1px solid #dbe3dc; border-radius: 12px; background: #fff; }
.walk-file { display: flex; align-items: center; gap: 12px; padding: 16px; border-bottom: 1px solid var(--lab-line); background: var(--lab-canvas); }
.walk-language { display: grid; flex-shrink: 0; place-items: center; width: 32px; height: 32px; border: 1px solid #dce5dd; border-radius: 8px; color: var(--lab-accent); background: #fff; font: 12px/16px var(--mono); }
.walk-file-location { min-width: 0; flex: 1; }
.walk-file-location span, .walk-file-location strong { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.walk-file-location span { margin-bottom: 2px; color: var(--lab-muted); font: 12px/16px var(--mono); }
.walk-file-location strong { color: var(--lab-ink); font: 14px/20px var(--mono); }
.walk-file-source { flex-shrink: 0; color: var(--lab-muted); font: 12px/16px var(--mono); }
.walk-code-tools { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; min-height: 40px; padding: 8px 12px; background: #fff; border-bottom: 1px solid var(--lab-line); }
.walk-code-tools button { padding: 4px 8px; min-height: 24px; border-color: transparent; border-radius: 6px; color: var(--lab-muted); }
.walk-code-tools button[aria-pressed="true"] { background: var(--lab-selected); color: #285f40; }
.walk-code-tools > button:first-child { margin-right: auto; }
.walk-copy-status { color: #347653; font-size: 12px; line-height: 16px; }
.walk-copy-status:empty { display: none; }
.walk-code pre { position: relative; margin: 0 !important; padding: 16px 0 24px !important; border: 0; border-radius: 0; max-height: 480px; overflow: auto; background: #fff; font: 14px/24px var(--mono); scrollbar-width: thin; scrollbar-color: #c1ccc3 transparent; tab-size: 4; }
.walk-code pre > div { min-width: max-content; }
.walk-line { position: relative; display: block; height: 24px; min-height: 24px; padding: 0 24px 0 56px; white-space: pre; transition: opacity 300ms var(--lab-curve); }
.walk-line::before { content: attr(data-line-number); position: absolute; left: 0; width: 40px; padding-right: 8px; color: #748078; text-align: right; font: 12px/24px var(--mono); user-select: none; }
.walk-focus { background: #eff6f0; box-shadow: inset 2px 0 #347653; }
.walk-focus::before { color: #347653; }
.walk-code.is-wrapped pre > div { min-width: 0; }
.walk-code.is-wrapped .walk-line { height: auto; white-space: pre-wrap; overflow-wrap: anywhere; }
.walk-code.is-wrapped .walk-token { display: inline; white-space: pre-wrap; }
.walk-token { position: relative; display: inline-block; white-space: pre; }
.walk-code.is-enhanced:not(.is-context) .walk-line:not(.walk-focus) { opacity: .52; }

.source-walk.is-reading-all .walk-line { opacity: 1 !important; }
.source-walk.is-reading-all .walk-code pre { height: auto; max-height: none; }
.source-walk.is-reading-all .walk-stop { margin-bottom: 32px; }
.prose .walk-footnote { margin: 16px 0 0; color: var(--lab-muted); font-size: 12px; line-height: 16px; }
@container document-lab (min-width: 720px) {
  .source-walk.is-enhanced:not(.is-reading-all) .walk-stops { display: grid; grid-template-columns: minmax(200px, .85fr) minmax(0, 1.7fr); grid-template-rows: repeat(var(--walk-count), min-content) minmax(0, 1fr); gap: 4px 24px; align-items: start; }
  .source-walk.is-enhanced:not(.is-reading-all) .walk-stop { display: contents; }
  .source-walk.is-enhanced:not(.is-reading-all) .walk-narrative { grid-column: 1; }
  .source-walk.is-enhanced:not(.is-reading-all) .walk-code { grid-column: 2; grid-row: 1 / -1; position: sticky; top: 96px; align-self: start; margin-top: 0; }
  .source-walk.is-enhanced:not(.is-reading-all) .walk-code pre { height: clamp(240px, calc(100dvh - 320px), 440px); min-height: 0; max-height: none; }
}
.doc-viewer { position: fixed; inset: 24px; width: min(1200px, calc(100vw - 48px)); max-width: none; max-height: calc(100dvh - 48px); margin: auto; padding: 0; overflow: auto; border: 1px solid #d5dfd6; border-radius: 16px; color: var(--lab-ink); background: #fff; box-shadow: 0 32px 96px #122a2633; }
.doc-viewer::backdrop { background: #142b2359; backdrop-filter: blur(8px); }
.doc-viewer-header { display: flex; align-items: center; justify-content: space-between; gap: 16px; padding: 16px 24px; border-bottom: 1px solid var(--lab-line); }
.doc-viewer-header h2 { min-width: 0; margin: 0; overflow-wrap: anywhere; font: 14px/24px var(--mono); }
.doc-viewer-header button { flex-shrink: 0; }
.doc-viewer .diagram-scroll { max-height: calc(100dvh - 160px); padding: 32px; }
.doc-viewer .diagram-scroll svg { display: block; width: auto; height: auto; margin-inline: auto; }
.doc-viewer .walk-code { margin: 0; border: 0; border-radius: 0; }
.doc-viewer .walk-code pre { max-height: calc(100dvh - 264px); min-height: 360px; }
@media (max-width: 800px) {
  .atlas-steps { grid-template-columns: 1fr; }
  .diagram-scroll { padding: 16px; }
  .diagram figcaption { padding: 16px; }
  .diagram-hint { padding-inline: 16px; }
  .diagram-tools { padding-inline: 16px; }
  .atlas-credit { padding-inline: 16px; }
  .source-walk { padding: 16px; }
  .walk-heading { gap: 12px; align-items: start; }
  .walk-position { padding: 4px 8px; }
  .prose .walk-heading h3 { font-size: 16px; line-height: 24px; }
  .walk-hint { display: none; }
  .walk-inline-position { display: inline; }
  .walk-controls { position: sticky; top: 60px; z-index: 2; padding-block: 8px; background: #fff; }
  .walk-file { gap: 8px; padding: 12px; }
  .walk-file-source { max-width: 96px; }
  .walk-detail { padding-left: 0; }
  .walk-line { padding-left: 48px; }
  .walk-line::before { width: 36px; }
  .doc-viewer { inset: 12px; width: calc(100vw - 24px); max-height: calc(100dvh - 24px); border-radius: 12px; }
  .doc-viewer-header { padding: 12px; }
  .doc-viewer .diagram-scroll { padding: 16px; }
}
@media (prefers-reduced-motion: reduce) {
  .reading-lab *, .diagram *, .doc-viewer * { transition: none !important; animation: none !important; scroll-behavior: auto !important; }
}

.docs-search-trigger { display: inline-flex; align-items: center; gap: 9px; padding: 6px 10px; border: 1px solid var(--line); border-radius: 8px; background: #fff; color: var(--body); font: inherit; font-size: 12px; cursor: pointer; }
.docs-search-trigger:hover { background: var(--field); color: var(--ink); }
.docs-search-trigger kbd, .docs-search-query kbd { padding: 1px 5px; border: 1px solid #dedede; border-radius: 4px; background: #fafafa; color: var(--muted); font: 10px/1.5 var(--mono); }
.docs-search-open, .docs-search-open body { overflow: hidden; }
.docs-search-dialog { position: fixed; inset: 8vh 0 auto; width: min(760px, calc(100vw - 32px)); max-width: none; max-height: 84dvh; margin: auto; padding: 0; overflow: hidden; border: 1px solid #e2e2e2; border-radius: 16px; background: #fff; color: var(--ink); box-shadow: 0 24px 80px #00000024; }
.docs-search-dialog::backdrop { background: #17171766; backdrop-filter: blur(3px); }
.docs-search-panel { display: flex; flex-direction: column; max-height: 84dvh; }
.docs-search-top { display: flex; flex-shrink: 0; align-items: center; justify-content: space-between; padding: 18px 20px 12px; }
.docs-search-top strong { font-size: 14px; font-weight: 500; }
.docs-search-close { display: grid; place-items: center; width: 30px; height: 30px; padding: 0; border: 0; border-radius: 7px; background: transparent; color: var(--muted); font: 24px/1 sans-serif; cursor: pointer; }
.docs-search-close:hover { background: var(--field); color: var(--ink); }
.docs-search-query { display: flex; flex-shrink: 0; align-items: center; gap: 12px; margin: 0 20px; padding: 0 12px; border: 1px solid #d8d8d8; border-radius: 10px; background: #fff; }
.docs-search-query:focus-within { border-color: #737373; box-shadow: 0 0 0 3px #1717170d; }
.docs-search-query input { width: 100%; min-width: 0; height: 44px; padding: 0; border: 0; outline: 0; background: transparent; color: var(--ink); font: 15px/1.4 Ubuntu, 'PingFang SC', sans-serif; }
.docs-search-query input::placeholder { color: #8a8a8a; }
.docs-search-filters { flex-shrink: 0; padding: 14px 20px 4px; }
.docs-search-filter-row { display: flex; align-items: flex-start; gap: 12px; margin-bottom: 10px; }
.docs-search-filter-label { flex: 0 0 30px; padding-top: 7px; color: var(--muted); font-size: 11px; }
.docs-search-filter-options { display: flex; flex-wrap: wrap; gap: 6px; }
.docs-search-filter { min-height: 30px; padding: 4px 10px; border: 1px solid transparent; border-radius: 7px; background: var(--field); color: var(--body); font: inherit; font-size: 11px; cursor: pointer; }
.docs-search-filter:hover { background: #ececec; }
.docs-search-filter[aria-pressed='true'] { border-color: #171717; background: #171717; color: #fff; }
.docs-search-status { flex-shrink: 0; margin: 4px 20px 8px; color: var(--muted); font-size: 11px; }
.docs-search-results { min-height: 0; margin: 0; padding: 0 12px 14px; overflow-y: auto; list-style: none; }
.docs-search-results li { margin: 0; }
.docs-search-result { display: flex; flex-direction: column; gap: 5px; padding: 13px 12px; border-radius: 10px; }
.docs-search-result:hover, .docs-search-result:focus-visible { background: var(--field); text-decoration: none; }
.docs-search-result-title { color: var(--ink); font-size: 14px; font-weight: 500; line-height: 1.5; }
.docs-search-result-meta { color: var(--muted); font: 10px/1.5 var(--mono); }
.docs-search-result-excerpt { display: -webkit-box; overflow: hidden; color: var(--body); font-size: 12px; line-height: 1.75; -webkit-box-orient: vertical; -webkit-line-clamp: 2; }
.docs-search-trigger:focus-visible, .docs-search-close:focus-visible, .docs-search-filter:focus-visible, .docs-search-result:focus-visible { outline: 2px solid #171717; outline-offset: 3px; }
@media (max-width: 1100px) {
  .docs-search-trigger kbd { display: none; }
}
@media (max-width: 640px) {
  .docs-search-trigger { padding: 6px 8px; font-size: 11px; }
  .docs-search-dialog { inset: 12px 0 auto; width: calc(100vw - 24px); max-height: calc(100dvh - 24px); border-radius: 13px; }
  .docs-search-panel { max-height: calc(100dvh - 24px); }
  .docs-search-top { padding: 15px 16px 10px; }
  .docs-search-query { margin: 0 16px; }
  .docs-search-filters { padding: 12px 16px 2px; }
  .docs-search-filter-row { display: block; }
  .docs-search-filter-label { display: block; padding: 0 0 6px; }
  .docs-search-filter-options { flex-wrap: nowrap; padding-bottom: 3px; overflow-x: auto; }
  .docs-search-filter { flex: 0 0 auto; min-height: 36px; }
  .docs-search-status { margin-inline: 16px; }
  .docs-search-results { padding-inline: 8px; }
}
@media (max-width: 480px) {
  .docs-search-trigger { justify-content: center; width: 30px; height: 30px; padding: 0; font-size: 0; }
  .docs-search-trigger::before { content: '⌕'; font-size: 21px; line-height: 1; }
}
@media (prefers-reduced-motion: reduce) {
  .docs-search-dialog::backdrop { backdrop-filter: none; }
}
@media print {
  .docs-search-trigger, .docs-search-dialog { display: none !important; }
  .walk-controls, .walk-code-tools, .diagram-tools { display: none !important; }
  .source-walk .walk-stop, .source-walk .walk-stops, .source-walk .walk-detail, .source-walk .walk-code { display: block !important; position: static !important; }
  .walk-code pre { height: auto !important; max-height: none !important; min-height: 0 !important; }
  .walk-line { opacity: 1 !important; }
  .diagram svg { max-width: 100%; }
  .source-walk { padding: 0; border: 0; box-shadow: none; }
}

.page-sources { display: block; }
.page-sources summary { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 8px 0; cursor: pointer; color: var(--muted); list-style: none; font-size: 12px; }
.page-sources summary::-webkit-details-marker { display: none; }
.source-count { display: inline-grid; place-items: center; min-width: 24px; height: 24px; border: 1px solid var(--lab-line); border-radius: 6px; color: var(--lab-muted); font: 12px/16px var(--mono); }
.page-sources summary::after { content: '+'; margin-left: auto; font: 14px/20px var(--mono); }
.page-sources[open] summary::after { content: '−'; }
.page-sources .source-count { order: 1; }
.page-sources nav { padding-top: 8px; }
.component-figure, .verification-figure, .stack-figure { border: 1px solid var(--lab-line); border-radius: 16px; overflow: hidden; background: var(--lab-canvas); }
.component-figure figcaption, .verification-figure figcaption { background: #fff; font-size: 12px; line-height: 20px; }
@media (max-width: 1199px) { .page-sources nav { display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 8px 24px; } }

.doc-viewer-header { position: sticky; top: 0; z-index: 2; background: #fff; }
.doc-viewer-note { padding: 16px 24px; border-top: 1px solid var(--lab-line); color: var(--lab-muted); font-size: 14px; line-height: 24px; }
.doc-viewer-note:empty { display: none; }
.doc-viewer-note h3 { margin: 0 0 8px; color: var(--lab-ink); font-size: 16px; line-height: 24px; font-weight: 500; }
.doc-viewer-note p { margin: 8px 0; }
.doc-viewer-note .source-ref { font-size: 12px; }
.doc-viewer-note .source-ref code { padding: 0; background: transparent; }
.doc-viewer .walk-code pre { max-height: calc(100dvh - 360px); min-height: 240px; }