/* ============================================================
   《解释》 INTERPRET — 亲手造一门会跑的语言
   设计系统：一条从「源码」到「值」的流水线

   母题：一段死的文本，经过一串工位（扫描 → 解析 → 求值），
   变成会动的行为。六个分卷 = 流水线的六个相位，每相一色：
     源(赭) 词(青) 树(绿) 义(赤) 令(紫) 回流(石)
   纸底米白、正文墨黑、等宽体是主角。亮色 only（用户眼睛受不了暗色）。
   零依赖，系统字体栈。
   ============================================================ */

:root {
  /* —— 纸与墨 —— */
  --paper: #FAF8F3;
  --paper-deep: #F2EFE7;
  --paper-dim: #E8E4D9;
  --ink: #1E2024;
  --ink-body: #3A3E45;
  --ink-faint: #7B818C;
  --line: #DDD8CB;

  /* —— 流水线六相：相位色 —— */
  --d0: #B45309;   /* 源 SOURCE  赭 */
  --d1: #0E7490;   /* 词 SCAN    青 */
  --d2: #4D7C0F;   /* 树 PARSE   绿 */
  --d3: #B91C1C;   /* 义 INTERP  赤 */
  --d4: #6D28D9;   /* 令 COMPILE 紫 */
  --d5: #475569;   /* 回流 BACK  石 */

  --d0-mist: #FBF0E4;
  --d1-mist: #E4F1F4;
  --d2-mist: #EEF4E4;
  --d3-mist: #FBEAEA;
  --d4-mist: #F0EAFB;
  --d5-mist: #EAEDF1;

  --d0-deep: #92400E;
  --d1-deep: #155E75;
  --d2-deep: #3F6212;
  --d3-deep: #991B1B;
  --d4-deep: #5B21B6;
  --d5-deep: #334155;

  /* 当前卷色：章节页在 body[data-vol="N"] 上重绑 */
  --vol: var(--d0);
  --vol-deep: var(--d0-deep);
  --vol-mist: var(--d0-mist);

  /* —— 代码 token（C 系配色）—— */
  --tok-kw: #6D28D9;    /* 关键字 var/fun/if */
  --tok-str: #3F6212;   /* 字符串 */
  --tok-num: #B45309;   /* 数字 */
  --tok-com: #949AA4;   /* 注释 */
  --tok-fn: #155E75;    /* 函数名 */
  --tok-ty: #0E7490;    /* 类型名 */
  --tok-op: #B91C1C;    /* 运算符 */
  --tok-an: #92400E;    /* 注解 */

  --serif: "Songti SC", "STSong", "Noto Serif SC", "Source Han Serif SC", Georgia, "Times New Roman", serif;
  --sans: -apple-system, BlinkMacSystemFont, "PingFang SC", "Hiragino Sans GB", "Source Han Sans SC", "Noto Sans SC", "Microsoft YaHei", sans-serif;
  --mono: ui-monospace, "SF Mono", "JetBrains Mono", "Fira Code", Menlo, Consolas, "Liberation Mono", monospace;

  --topbar-h: 56px;
  --maxw: 780px;
}

body[data-vol="1"] { --vol: var(--d0); --vol-deep: var(--d0-deep); --vol-mist: var(--d0-mist); }
body[data-vol="2"] { --vol: var(--d1); --vol-deep: var(--d1-deep); --vol-mist: var(--d1-mist); }
body[data-vol="3"] { --vol: var(--d2); --vol-deep: var(--d2-deep); --vol-mist: var(--d2-mist); }
body[data-vol="4"] { --vol: var(--d3); --vol-deep: var(--d3-deep); --vol-mist: var(--d3-mist); }
body[data-vol="5"] { --vol: var(--d4); --vol-deep: var(--d4-deep); --vol-mist: var(--d4-mist); }
body[data-vol="6"] { --vol: var(--d5); --vol-deep: var(--d5-deep); --vol-mist: var(--d5-mist); }

* { margin: 0; padding: 0; box-sizing: border-box; }
html { scroll-behavior: smooth; }
html, body { overflow-x: hidden; }

body {
  font-family: var(--sans);
  background-color: var(--paper);
  /* 极淡的底纹：一条虚线流水线沿着纸面流过 */
  background-image:
    url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='168' height='168' viewBox='0 0 168 168'%3E%3Cg fill='none' stroke='%231E2024' stroke-opacity='0.035' stroke-width='1.1'%3E%3Cpath d='M0 42h168' stroke-dasharray='2 10'/%3E%3Cpath d='M0 126h168' stroke-dasharray='2 10'/%3E%3Cpath d='M42 34l8 8-8 8'/%3E%3Cpath d='M126 118l8 8-8 8'/%3E%3C/g%3E%3C/svg%3E");
  color: var(--ink-body);
  line-height: 1.9;
  font-size: 16.5px;
  padding-top: var(--topbar-h);
}

::selection { background: rgba(180, 83, 9, 0.16); }

a {
  color: var(--vol-deep);
  text-decoration: none;
  border-bottom: 1px solid color-mix(in srgb, var(--vol) 38%, transparent);
}
a:hover { color: var(--d3); border-bottom-color: var(--d3); }

code {
  font-family: var(--mono);
  font-size: 0.86em;
  background: rgba(30, 32, 36, 0.06);
  border-radius: 4px;
  padding: 0.1em 0.4em;
  color: var(--ink);
  word-break: break-word;
}

strong { color: var(--ink); }
em { font-style: normal; color: var(--vol-deep); }

/* ============ 顶栏 ============ */
.topbar {
  position: fixed; top: 0; left: 0; right: 0; z-index: 90;
  height: var(--topbar-h);
  background: rgba(250, 248, 243, 0.93);
  backdrop-filter: blur(8px);
  -webkit-backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--line);
  display: flex; align-items: center; gap: 14px;
  padding: 0 18px;
}
.topbar .brand {
  font-family: var(--serif);
  font-weight: 700; font-size: 19px; letter-spacing: 0.22em;
  color: var(--ink); border: none; white-space: nowrap;
  display: flex; align-items: center; gap: 9px;
}
.topbar .brand:hover { color: var(--vol-deep); }
.topbar .brand .mark {
  font-family: var(--mono); font-weight: 700; font-size: 13px;
  color: var(--paper);
  background: linear-gradient(135deg, var(--d0), var(--d3) 55%, var(--d4));
  width: 26px; height: 24px; border-radius: 6px;
  display: inline-flex; align-items: center; justify-content: center;
  letter-spacing: 0;
}

/* 流水线式进度：走到第几个工位，就填到哪 */
.topbar .pipe-wrap { flex: 1; min-width: 60px; height: 100%; position: relative; display: flex; align-items: center; }
.topbar .pipe-wrap svg { width: 100%; height: 34px; display: block; }
.pipe-rail { stroke: var(--paper-dim); stroke-width: 5; stroke-linecap: round; fill: none; }
.pipe-fill { stroke-width: 5; stroke-linecap: round; fill: none; }
.pipe-tick { fill: rgba(30, 32, 36, 0.2); }
.pipe-cursor { filter: drop-shadow(0 0 3px rgba(30, 32, 36, 0.28)); }
.topbar .pipe-label {
  position: absolute; bottom: 1px; font-family: var(--mono);
  font-size: 9px; letter-spacing: 0.12em; color: var(--ink-faint);
  user-select: none; pointer-events: none;
}
.topbar .pipe-label.start { left: 0; }
.topbar .pipe-label.end { right: 0; }
.topbar .ch-pos {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.1em;
  color: var(--ink-faint); white-space: nowrap;
}
.topbar .ch-pos b { color: var(--vol-deep); font-weight: 600; }
.topbar .toc-btn {
  font-family: var(--mono); font-size: 11.5px; letter-spacing: 0.12em;
  color: var(--ink); background: transparent;
  border: 1px solid var(--line); border-radius: 6px;
  padding: 6px 12px; cursor: pointer; white-space: nowrap;
  transition: 0.16s;
}
.topbar .toc-btn:hover { border-color: var(--vol); color: var(--vol-deep); background: var(--vol-mist); }

/* ============ 目录覆盖层 ============ */
.toc-overlay {
  position: fixed; inset: 0; z-index: 120;
  background: rgba(250, 248, 243, 0.985);
  backdrop-filter: blur(3px);
  overflow-y: auto; opacity: 0; pointer-events: none;
  transition: opacity 0.2s;
}
.toc-overlay.open { opacity: 1; pointer-events: auto; }
.toc-inner { max-width: 720px; margin: 0 auto; padding: 60px 22px 90px; }
.toc-head { display: flex; align-items: baseline; justify-content: space-between; margin-bottom: 8px; }
.toc-head h2 {
  font-family: var(--serif); font-size: 27px; letter-spacing: 0.3em;
  color: var(--ink); font-weight: 700;
}
.toc-head .close {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.12em;
  background: transparent; border: 1px solid var(--line); border-radius: 6px;
  padding: 5px 11px; color: var(--ink-faint); cursor: pointer;
}
.toc-head .close:hover { color: var(--d3); border-color: var(--d3); }
.toc-sub { font-family: var(--mono); font-size: 11px; letter-spacing: 0.16em; color: var(--ink-faint); margin-bottom: 34px; }

.toc-vol { position: relative; padding-left: 36px; margin-bottom: 6px; }
/* 纵向：流水线的传送带 */
.toc-vol::before {
  content: ""; position: absolute; left: 12px; top: 9px; bottom: -6px;
  width: 2px; background: var(--vc, var(--line)); opacity: 0.35;
}
.toc-vol:last-child::before { bottom: 14px; }
.toc-vol::after {
  content: "▸"; position: absolute; left: 5px; top: -2px;
  font-family: var(--mono); font-size: 16px; font-weight: 700;
  color: var(--vc, var(--ink-faint)); background: var(--paper);
  line-height: 1.4;
}
.toc-vol .vol-name {
  font-family: var(--mono); font-size: 11.5px; letter-spacing: 0.2em;
  color: var(--vc, var(--ink)); font-weight: 700; margin-bottom: 2px;
}
.toc-vol .vol-desc { font-size: 13px; color: var(--ink-faint); margin-bottom: 12px; }
.toc-vol ol { list-style: none; margin-bottom: 26px; }
.toc-vol li a {
  display: flex; align-items: baseline; gap: 11px;
  padding: 6px 10px; border-radius: 6px; border: none;
  color: var(--ink-body); font-size: 14.5px; line-height: 1.6;
}
.toc-vol li a:hover { background: var(--paper-deep); color: var(--vc, var(--ink)); }
.toc-vol li a .no { font-family: var(--mono); font-size: 11px; color: var(--ink-faint); min-width: 22px; }
.toc-vol li a .demo-tag {
  font-family: var(--mono); font-size: 10px; letter-spacing: 0.06em;
  color: var(--vc, var(--ink-faint)); border: 1px solid currentColor;
  border-radius: 4px; padding: 0 5px; opacity: 0.75; white-space: nowrap;
}
.toc-vol li a.cur { background: var(--paper-deep); font-weight: 600; color: var(--vc, var(--ink)); }
.toc-vol li a.cur .no { color: var(--vc, var(--ink)); }

/* ============ 章节页骨架 ============ */
.content { display: block; }
.wrap { max-width: var(--maxw); margin: 0 auto; padding: 0 22px; }

.chapter-head { padding: 58px 0 10px; }
.chapter-head .kicker {
  display: flex; align-items: center; gap: 12px; flex-wrap: wrap;
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.16em;
  color: var(--ink-faint); margin-bottom: 20px;
}
.chapter-head .kicker .vol { color: var(--vol-deep); font-weight: 600; }
.chapter-head .kicker .depth { color: var(--vol); }
.chapter-head .kicker .sep { width: 26px; height: 1px; background: var(--line); }
.chapter-head h1 {
  font-family: var(--serif); font-weight: 700;
  font-size: clamp(28px, 5vw, 39px); line-height: 1.32;
  color: var(--ink); letter-spacing: 0.01em; margin-bottom: 20px;
}
.chapter-head h1 em { font-style: normal; color: var(--vol-deep); }
.chapter-head .lede {
  font-size: 17px; line-height: 1.95; color: var(--ink-body);
  padding-left: 16px; border-left: 3px solid var(--vol);
  margin-bottom: 22px;
}
.chapter-head .tags { display: flex; gap: 8px; flex-wrap: wrap; }
.chapter-head .tags span {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.05em;
  color: var(--vol-deep); background: var(--vol-mist);
  border-radius: 4px; padding: 2px 9px;
}
.headrule {
  border: none; height: 1px; margin: 34px 0 6px;
  background: linear-gradient(90deg, var(--vol), var(--line) 42%, transparent);
}

/* ============ 正文排印 ============ */
.prose { padding-bottom: 30px; }
.prose h2 {
  font-family: var(--serif); font-size: 24px; font-weight: 700;
  color: var(--ink); margin: 46px 0 18px; line-height: 1.45;
  position: relative; padding-bottom: 8px;
}
.prose h2::after {
  content: ""; position: absolute; left: 0; bottom: 0;
  width: 40px; height: 2px; background: var(--vol);
}
.prose h3 {
  font-size: 18px; font-weight: 700; color: var(--ink);
  margin: 32px 0 12px; display: flex; align-items: baseline; gap: 8px;
}
.prose h3::before {
  content: "▸"; font-family: var(--mono); font-weight: 700;
  color: var(--vol); font-size: 15px;
}
.prose p { margin: 0 0 18px; }
.prose ul, .prose ol { margin: 0 0 18px; padding-left: 26px; }
.prose li { margin-bottom: 8px; }
.prose li::marker { color: var(--vol); font-family: var(--mono); font-size: 0.9em; }
.prose hr { border: none; border-top: 1px dashed var(--line); margin: 40px 0; }

.table-scroll { overflow-x: auto; margin: 0 0 22px; -webkit-overflow-scrolling: touch; }
.prose table {
  border-collapse: collapse; width: 100%; min-width: 460px;
  font-size: 14.5px; line-height: 1.7; background: #FFFDF9;
}
.prose th, .prose td { border: 1px solid var(--line); padding: 9px 13px; text-align: left; vertical-align: top; }
.prose th {
  background: var(--paper-deep); color: var(--ink);
  font-family: var(--mono); font-size: 12px; letter-spacing: 0.06em;
  font-weight: 700; white-space: nowrap;
}
.prose td code { font-size: 0.85em; }

/* ============ callout ============ */
.co {
  border: 1px solid var(--line); border-left-width: 3px;
  border-radius: 8px; padding: 16px 18px 14px;
  margin: 24px 0; font-size: 15.2px; line-height: 1.85;
  background: #FFFDF9;
}
.co .co-t {
  font-family: var(--mono); font-size: 11.5px; letter-spacing: 0.16em;
  font-weight: 700; margin-bottom: 9px;
}
.co p { margin-bottom: 10px; }
.co p:last-child { margin-bottom: 2px; }
.co code { background: rgba(30, 32, 36, 0.07); }
.co ul, .co ol { margin: 0 0 10px; padding-left: 22px; }
.co li { margin-bottom: 6px; }
.co pre { margin: 10px 0; }

/* ◆ 核心：值得带走的那一条 */
.co.core { border-color: rgba(180, 83, 9, 0.4); border-left-color: var(--d0); background: var(--d0-mist); }
.co.core .co-t { color: var(--d0-deep); }
/* ⟲ 回流：这一课在 Kotlin / JS 里长什么样 —— 本书招牌 */
.co.back { border-color: rgba(71, 85, 105, 0.4); border-left-color: var(--d5); background: var(--d5-mist); }
.co.back .co-t { color: var(--d5-deep); }
/* ⚠ 坑 */
.co.trap { border-color: rgba(185, 28, 28, 0.42); border-left-color: var(--d3); background: var(--d3-mist); }
.co.trap .co-t { color: var(--d3-deep); }
/* ▶ 动手：现在就在下面的 demo 里试 */
.co.hand { border-color: rgba(14, 116, 144, 0.42); border-left-color: var(--d1); background: var(--d1-mist); }
.co.hand .co-t { color: var(--d1-deep); }
/* ✎ 掌故 */
.co.hist { border-color: rgba(77, 124, 15, 0.42); border-left-color: var(--d2); background: var(--d2-mist); }
.co.hist .co-t { color: var(--d2-deep); }

/* ============ 代码块 ============ */
pre {
  font-family: var(--mono); font-size: 13.4px; line-height: 1.72;
  padding: 15px 17px; border-radius: 8px; overflow-x: auto;
  margin: 0 0 22px; position: relative;
  -webkit-overflow-scrolling: touch;
  tab-size: 2;
}
pre .tag-corner {
  position: absolute; top: 0; right: 0;
  font-family: var(--mono); font-size: 9.5px; letter-spacing: 0.1em;
  padding: 2px 8px; border-radius: 0 8px 0 8px;
  user-select: none; pointer-events: none;
}

/* Lox 源码：白纸卡片（我们要造的那门语言，是主角） */
pre.lox {
  background: #FFFDF9; border: 1px solid var(--line);
  color: var(--ink); padding-top: 20px;
}
pre.lox .tag-corner { background: var(--paper-deep); color: var(--ink-faint); }

/* Kotlin / JS 对照：淡灰卡片，明确「这是另一门语言」 */
pre.kt, pre.js {
  background: #F4F2EC; border: 1px solid var(--line);
  border-left: 3px solid var(--d5); color: var(--ink); padding-top: 20px;
}
pre.kt .tag-corner, pre.js .tag-corner { background: var(--d5-mist); color: var(--d5-deep); }

/* 运行输出 / 报错 */
pre.out {
  background: #F2EFE7; border: 1px dashed var(--line);
  color: var(--ink-body); padding-top: 20px;
}
pre.out .tag-corner { background: transparent; color: var(--ink-faint); }
pre.out .oerr { color: var(--d3-deep); }
pre.out .ook { color: var(--d2-deep); }
pre.out .odim { color: var(--ink-faint); }
pre.out .oprompt { color: var(--d1-deep); font-weight: 700; }
pre.out .oval { color: var(--ink); font-weight: 600; }

/* 字节码：机器的语言，紫相 */
pre.bc {
  background: #F6F2FC; border: 1px solid var(--line);
  border-left: 3px solid var(--d4); color: var(--ink); padding-top: 20px;
}
pre.bc .tag-corner { background: var(--d4-mist); color: var(--d4-deep); }

/* 文法（BNF）：绿相 */
pre.ebnf {
  background: #F5F8EF; border: 1px solid var(--line);
  border-left: 3px solid var(--d2); color: var(--ink); padding-top: 20px;
}
pre.ebnf .tag-corner { background: var(--d2-mist); color: var(--d2-deep); }

/* —— token —— */
.tk-co { color: var(--tok-com); font-style: italic; }
.tk-st { color: var(--tok-str); }
.tk-nu { color: var(--tok-num); }
.tk-kw { color: var(--tok-kw); font-weight: 600; }
.tk-fn { color: var(--tok-fn); }
.tk-ty { color: var(--tok-ty); }
.tk-op { color: var(--tok-op); }
.tk-an { color: var(--tok-an); }

/* ============ demo 外壳 ============ */
.demo {
  border: 1px solid var(--line); border-radius: 10px;
  background: #FFFDF9; margin: 26px 0; overflow: hidden;
  box-shadow: 0 1px 3px rgba(30, 32, 36, 0.04);
}
.demo-head {
  display: flex; align-items: center; gap: 9px;
  padding: 10px 15px; background: var(--paper-deep);
  border-bottom: 1px solid var(--line);
  font-family: var(--mono); font-size: 12px; letter-spacing: 0.08em;
  color: var(--ink); font-weight: 700;
}
.demo-head .lamp {
  width: 9px; height: 9px; border-radius: 50%;
  background: var(--vol); flex: none;
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--vol) 18%, transparent);
}
.demo-head .d-hint {
  margin-left: auto; font-weight: 400; letter-spacing: 0.04em;
  font-size: 11px; color: var(--ink-faint);
}
.demo-body { padding: 15px; }

.d-row { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; margin-bottom: 12px; }
.d-chips { display: flex; gap: 6px; flex-wrap: wrap; }
.d-chip {
  font-family: var(--mono); font-size: 11.5px;
  padding: 4px 10px; border-radius: 5px; cursor: pointer;
  border: 1px solid var(--line); background: var(--paper);
  color: var(--ink-body); transition: 0.14s; white-space: nowrap;
}
.d-chip:hover { border-color: var(--vol); color: var(--vol-deep); }
.d-chip.on {
  background: var(--vol); border-color: var(--vol);
  color: #fff; font-weight: 600;
}
.d-btn {
  font-family: var(--mono); font-size: 11.5px;
  padding: 5px 12px; border-radius: 5px; cursor: pointer;
  border: 1px solid var(--vol); background: var(--vol-mist);
  color: var(--vol-deep); font-weight: 600; transition: 0.14s;
  white-space: nowrap;
}
.d-btn:hover { background: var(--vol); color: #fff; }
.d-btn:disabled { opacity: 0.4; cursor: not-allowed; }
.d-btn.ghost { background: transparent; border-color: var(--line); color: var(--ink-faint); font-weight: 400; }
.d-btn.ghost:hover { border-color: var(--ink-faint); background: var(--paper-deep); color: var(--ink); }

.d-input {
  font-family: var(--mono); font-size: 13px;
  padding: 7px 10px; border-radius: 6px; flex: 1; min-width: 180px;
  border: 1px solid var(--line); background: var(--paper);
  color: var(--ink);
}
.d-input:focus { outline: none; border-color: var(--vol); background: #fff; }
textarea.d-input { white-space: pre; line-height: 1.7; resize: vertical; width: 100%; }

.d-pane {
  font-family: var(--mono); font-size: 12.8px; line-height: 1.7;
  background: var(--paper); border: 1px solid var(--line);
  border-radius: 6px; padding: 11px 12px; overflow-x: auto;
  margin: 0; white-space: pre; color: var(--ink);
}
.d-pane-t {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: 0.1em;
  color: var(--ink-faint); margin-bottom: 5px;
  display: flex; align-items: center; gap: 6px;
}
.d-pane-t .dot { width: 7px; height: 7px; border-radius: 2px; background: var(--vol); }
.d-split { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
@media (max-width: 640px) { .d-split { grid-template-columns: 1fr; } }

.d-note {
  font-size: 13.6px; line-height: 1.8; color: var(--ink-body);
  background: var(--paper); border: 1px dashed var(--line);
  border-radius: 6px; padding: 10px 12px; margin-top: 12px;
}
.d-note b { color: var(--ink); }
.d-note code { font-size: 0.86em; }

.d-cap {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: 0.08em;
  color: var(--ink-faint); margin: 10px 0 4px;
}
.d-stat {
  display: flex; gap: 14px; flex-wrap: wrap; margin-top: 10px;
  font-family: var(--mono); font-size: 12px;
}
.d-stat span { color: var(--ink-faint); }
.d-stat b { color: var(--ink); font-weight: 700; }
.d-stat .hot { color: var(--d3-deep); }
.d-stat .cool { color: var(--d2-deep); }

.d-err {
  font-family: var(--mono); font-size: 12.5px;
  color: var(--d3-deep); background: var(--d3-mist);
  border: 1px solid rgba(185, 28, 28, 0.35); border-radius: 6px;
  padding: 8px 11px;
}

/* 高亮某个正在归约的子表达式（redex） */
.redex {
  background: #FCE9A8; border-radius: 3px;
  box-shadow: 0 0 0 1px rgba(180, 83, 9, 0.5);
}
.reduced { background: #D8EFDC; border-radius: 3px; }
.captured { background: #EADCFB; border-radius: 3px; box-shadow: 0 0 0 1px rgba(109, 40, 217, 0.4); }
.dimmed { opacity: 0.34; }

/* ============ 翻页 / 页脚 ============ */
.pager {
  display: grid; grid-template-columns: 1fr 1fr; gap: 12px;
  margin: 50px 0 26px;
}
.pager a {
  border: 1px solid var(--line); border-radius: 8px;
  padding: 13px 15px; background: #FFFDF9;
  display: flex; flex-direction: column; gap: 4px;
  transition: 0.16s;
}
.pager a:hover { border-color: var(--vol); background: var(--vol-mist); }
.pager a.none { visibility: hidden; }
.pager .dir { font-family: var(--mono); font-size: 10.5px; letter-spacing: 0.12em; color: var(--ink-faint); }
.pager .t { font-size: 14px; color: var(--ink); line-height: 1.5; }
.pager .next { text-align: right; }

.foot {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.1em;
  color: var(--ink-faint); text-align: center;
  padding: 22px 0 60px; border-top: 1px solid var(--line);
}
.foot a { color: var(--ink-faint); border-bottom-color: var(--line); }
.foot a:hover { color: var(--vol-deep); }

/* ============ 总览页 hero ============ */
.hero { padding: 56px 0 18px; }
.hero .surv {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.24em;
  color: var(--ink-faint); margin-bottom: 22px;
}
.hero h1 {
  font-family: var(--serif); font-weight: 700;
  font-size: clamp(56px, 13vw, 92px); line-height: 1.05;
  color: var(--ink); letter-spacing: 0.06em; margin-bottom: 6px;
  display: flex; align-items: center; gap: 0.1em;
}
.hero h1 .cursor {
  display: inline-block; width: 0.5em; height: 0.9em;
  background: var(--d3); border-radius: 2px; margin-left: 0.12em;
  animation: blink 1.15s steps(1) infinite;
}
@keyframes blink { 50% { opacity: 0; } }
.hero .en {
  font-family: var(--mono); font-size: 13px; letter-spacing: 0.5em;
  color: var(--ink-faint); margin-bottom: 30px;
}
.hero .pitch { font-size: 17px; line-height: 2; margin-bottom: 18px; }

.hero-svg { margin: 34px 0 10px; }
.hero-svg svg { width: 100%; height: auto; display: block; }

.hero-meta {
  display: flex; gap: 26px; flex-wrap: wrap;
  font-family: var(--mono); font-size: 12px; color: var(--ink-faint);
  border-top: 1px solid var(--line); border-bottom: 1px solid var(--line);
  padding: 14px 0; margin: 26px 0 10px;
}
.hero-meta b { color: var(--ink); font-size: 15px; font-weight: 700; }
.hero-meta .mi { display: flex; align-items: baseline; gap: 7px; }

.hero-cta { display: flex; gap: 10px; flex-wrap: wrap; margin: 26px 0 0; }
.hero-cta a {
  font-family: var(--mono); font-size: 12.5px; letter-spacing: 0.08em;
  padding: 10px 18px; border-radius: 7px; border: 1px solid var(--d0);
  background: var(--d0); color: #fff; font-weight: 600;
}
.hero-cta a:hover { background: var(--d0-deep); border-color: var(--d0-deep); color: #fff; }
.hero-cta a.ghost { background: transparent; color: var(--ink); border-color: var(--line); font-weight: 400; }
.hero-cta a.ghost:hover { border-color: var(--ink-faint); background: var(--paper-deep); color: var(--ink); }

/* 总览页的卷 / 章列表 */
.vols { margin: 54px 0 0; }
.vol-block { margin-bottom: 44px; position: relative; padding-left: 40px; }
.vol-block::before {
  content: ""; position: absolute; left: 14px; top: 34px; bottom: 4px;
  width: 2px; background: var(--vc); opacity: 0.3;
}
.vol-block::after {
  content: "▸"; position: absolute; left: 6px; top: 12px;
  font-family: var(--mono); font-size: 19px; font-weight: 700;
  color: var(--vc); line-height: 1; background: var(--paper); padding-bottom: 3px;
}
.vol-block .vh {
  display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap;
  margin-bottom: 4px;
}
.vol-block .vh .vno {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.18em;
  color: var(--vc); font-weight: 700;
}
.vol-block .vh h2 {
  font-family: var(--serif); font-size: 23px; font-weight: 700; color: var(--ink);
}
.vol-block .vh .ven {
  font-family: var(--mono); font-size: 11px; letter-spacing: 0.22em; color: var(--ink-faint);
}
.vol-block .vd { font-size: 14.5px; color: var(--ink-faint); margin-bottom: 16px; }

.chs { list-style: none; display: grid; gap: 8px; }
.chs li a {
  display: flex; align-items: baseline; gap: 12px;
  padding: 11px 14px; border-radius: 8px; border: 1px solid var(--line);
  background: #FFFDF9; color: var(--ink-body); font-size: 15px; line-height: 1.6;
  transition: 0.15s;
}
.chs li a:hover {
  border-color: var(--vc); background: var(--paper-deep);
  transform: translateX(3px);
}
.chs li a .no {
  font-family: var(--mono); font-size: 11.5px; color: var(--ink-faint);
  min-width: 22px; flex: none;
}
.chs li a .ct { flex: 1; }
.chs li a .ct b { display: block; color: var(--ink); font-weight: 600; }
.chs li a .ct em { display: block; font-style: normal; font-size: 13px; color: var(--ink-faint); margin-top: 2px; }
.chs li a .demo-tag {
  font-family: var(--mono); font-size: 10px; letter-spacing: 0.05em;
  color: var(--vc); border: 1px solid currentColor; border-radius: 4px;
  padding: 1px 6px; white-space: nowrap; flex: none; opacity: 0.8;
}

/* 总览页：读者画像 / 前置条件 */
.who {
  display: grid; grid-template-columns: 1fr 1fr; gap: 14px;
  margin: 34px 0 0;
}
@media (max-width: 640px) { .who { grid-template-columns: 1fr; } }
.who .card {
  border: 1px solid var(--line); border-radius: 9px; padding: 16px 17px;
  background: #FFFDF9;
}
.who .card h3 {
  font-family: var(--mono); font-size: 12px; letter-spacing: 0.14em;
  margin-bottom: 10px; font-weight: 700;
}
.who .card.yes { border-left: 3px solid var(--d2); }
.who .card.yes h3 { color: var(--d2-deep); }
.who .card.no { border-left: 3px solid var(--d3); }
.who .card.no h3 { color: var(--d3-deep); }
.who .card ul { list-style: none; font-size: 14.2px; line-height: 1.75; }
.who .card li { margin-bottom: 7px; padding-left: 16px; position: relative; }
.who .card li::before {
  position: absolute; left: 0; font-family: var(--mono); font-weight: 700;
}
.who .card.yes li::before { content: "✓"; color: var(--d2); }
.who .card.no li::before { content: "✗"; color: var(--d3); }

/* ============ demo 内部构件 ============ */

/* 流水线 4 格（ch01）：源码 → 记号 → 语法树 → 值 */
.pipe4 { display: grid; grid-template-columns: repeat(4, 1fr); gap: 8px; align-items: stretch; }
@media (max-width: 720px) { .pipe4 { grid-template-columns: 1fr; } }
.pipe4 .stage {
  border: 1px solid var(--line); border-radius: 8px; background: var(--paper);
  padding: 9px 10px; min-width: 0; position: relative;
}
.pipe4 .stage .st-t {
  font-family: var(--mono); font-size: 10px; letter-spacing: 0.1em;
  margin-bottom: 6px; font-weight: 700; display: flex; align-items: center; gap: 5px;
}
.pipe4 .stage .st-t .dot { width: 7px; height: 7px; border-radius: 2px; }
.pipe4 .stage.s0 { border-top: 2px solid var(--d0); } .pipe4 .stage.s0 .st-t { color: var(--d0-deep); } .pipe4 .stage.s0 .dot { background: var(--d0); }
.pipe4 .stage.s1 { border-top: 2px solid var(--d1); } .pipe4 .stage.s1 .st-t { color: var(--d1-deep); } .pipe4 .stage.s1 .dot { background: var(--d1); }
.pipe4 .stage.s2 { border-top: 2px solid var(--d2); } .pipe4 .stage.s2 .st-t { color: var(--d2-deep); } .pipe4 .stage.s2 .dot { background: var(--d2); }
.pipe4 .stage.s3 { border-top: 2px solid var(--d3); } .pipe4 .stage.s3 .st-t { color: var(--d3-deep); } .pipe4 .stage.s3 .dot { background: var(--d3); }
.pipe4 .stage .st-b {
  font-family: var(--mono); font-size: 11.5px; line-height: 1.6;
  white-space: pre-wrap; word-break: break-word; color: var(--ink);
}

/* 记号流（扫描器 demo） */
.toks { display: flex; flex-wrap: wrap; gap: 6px; align-items: flex-start; }
.tok {
  display: inline-flex; flex-direction: column; align-items: center;
  border: 1px solid var(--line); border-radius: 6px; overflow: hidden;
  min-width: 30px; background: var(--paper); transition: 0.12s;
}
.tok .tk-type {
  font-family: var(--mono); font-size: 8.5px; letter-spacing: 0.04em;
  color: var(--d1-deep); background: var(--d1-mist);
  padding: 1px 6px; width: 100%; text-align: center; white-space: nowrap;
}
.tok .tk-lex {
  font-family: var(--mono); font-size: 12.5px; color: var(--ink);
  padding: 3px 7px; font-weight: 600; white-space: nowrap;
}
.tok.on { border-color: var(--d1); box-shadow: 0 0 0 2px var(--d1-mist); }
.tok.eof .tk-lex { color: var(--ink-faint); }

/* 语法树（解析 / 优先级 / 树遍历） */
.tree {
  font-family: var(--mono); font-size: 12.8px; line-height: 1.85;
  white-space: pre; overflow-x: auto; color: var(--ink);
}
.tree .tn { color: var(--ink-faint); }
.tree .op { color: var(--d3-deep); font-weight: 700; }
.tree .lit { color: var(--d0-deep); font-weight: 600; }
.tree .vr { color: var(--d4-deep); font-weight: 600; }
.tree .node.on { background: #FCE9A8; border-radius: 3px; }
.tree .node.done { background: #D8EFDC; border-radius: 3px; }

/* 环境帧（env / closure） */
.frames { display: flex; flex-direction: column; gap: 0; }
.frame {
  border: 1px solid var(--line); border-radius: 7px;
  background: var(--paper); padding: 9px 11px;
  font-family: var(--mono); font-size: 12.4px;
}
.frame.on { border-color: var(--vol); background: var(--vol-mist); box-shadow: 0 0 0 2px color-mix(in srgb, var(--vol) 15%, transparent); }
.frame.clo { border-style: dashed; border-color: var(--d4); background: var(--d4-mist); }
.frame .fname {
  font-size: 10.5px; letter-spacing: 0.1em; color: var(--ink-faint);
  margin-bottom: 5px; display: flex; justify-content: space-between; gap: 8px;
}
.frame.on .fname { color: var(--vol-deep); }
.frame .bind { display: flex; gap: 7px; line-height: 1.75; }
.frame .bind .k { color: var(--d4-deep); font-weight: 700; min-width: 54px; }
.frame .bind .v { color: var(--ink); }
.frame .bind.chg .v { background: #FCE9A8; border-radius: 3px; padding: 0 3px; }
.frame .empty { color: var(--ink-faint); font-style: italic; }
.uplink {
  font-family: var(--mono); font-size: 10.5px; color: var(--ink-faint);
  text-align: center; padding: 3px 0; letter-spacing: 0.08em;
}

/* 调用栈（callstack） */
.callstack { display: flex; flex-direction: column-reverse; gap: 4px; min-height: 40px; }
.callstack .cf {
  border: 1px solid var(--line); border-left: 3px solid var(--vol);
  border-radius: 6px; background: var(--paper); padding: 6px 10px;
  font-family: var(--mono); font-size: 12.2px; color: var(--ink);
  display: flex; justify-content: space-between; gap: 10px;
}
.callstack .cf.top { border-color: var(--d3); border-left-color: var(--d3); background: var(--d3-mist); }
.callstack .cf .ret { color: var(--d2-deep); font-weight: 700; }

/* 可点击的子表达式（树遍历） */
.pickable { font-family: var(--mono); font-size: 14px; line-height: 2.1; }
.pickable .nd {
  cursor: pointer; border-radius: 4px; padding: 1px 2px;
  transition: background 0.12s;
}
.pickable .nd:hover { background: #FCE9A8; }
.pickable .nd.sel { background: var(--d3); color: #fff; }
.pickable .nd.sel span { color: #fff !important; }
.hole {
  display: inline-block; min-width: 20px; text-align: center;
  border: 2px dashed var(--d3); border-radius: 4px;
  color: var(--d3-deep); font-weight: 700; padding: 0 5px;
  background: var(--d3-mist);
}

/* 栈式 VM（vm / compile） */
.vm-grid { display: grid; grid-template-columns: 1.3fr 1fr; gap: 12px; }
@media (max-width: 640px) { .vm-grid { grid-template-columns: 1fr; } }
.bc-list {
  font-family: var(--mono); font-size: 12.2px; line-height: 1.55;
  border: 1px solid var(--line); border-radius: 6px; background: #F6F2FC;
  padding: 8px; overflow-x: auto; white-space: pre;
}
.bc-list .row { display: block; padding: 1px 6px; border-radius: 3px; }
.bc-list .row.ip { background: var(--d4); color: #fff; }
.bc-list .row.ip .tk-kw, .bc-list .row.ip .tk-nu, .bc-list .row.ip .tk-st { color: #fff; }
.bc-list .row.past { opacity: 0.5; }
.vmstack { display: flex; flex-direction: column-reverse; gap: 3px; min-height: 120px;
  border: 1px dashed var(--line); border-radius: 6px; padding: 8px; background: var(--paper); }
.vmstack .cell {
  font-family: var(--mono); font-size: 12.5px; text-align: center;
  padding: 4px 8px; border-radius: 4px; background: var(--vol-mist);
  border: 1px solid var(--vol); color: var(--vol-deep); font-weight: 600;
}
.vmstack .cell.top { background: var(--d3-mist); border-color: var(--d3); color: var(--d3-deep); }
.vmstack .base { font-family: var(--mono); font-size: 10px; color: var(--ink-faint); text-align: center; letter-spacing: 0.1em; }

@media (max-width: 560px) {
  body { font-size: 16px; }
  .topbar { gap: 9px; padding: 0 12px; }
  .topbar .brand { font-size: 16px; letter-spacing: 0.14em; }
  .topbar .ch-pos { display: none; }
  .pager { grid-template-columns: 1fr; }
  .pager .next { text-align: left; }
  pre { font-size: 12.6px; }
}