/* ============================================================
   《求值》 EVAL — 从 Racket 出发，重新理解你每天写的语言
   设计系统：嵌套括号 · 彩虹深度

   母题：括号的嵌套深度就是结构的深度。
   一组六色（青 → 绿 → 琥珀 → 橙红 → 品红 → 紫）同时充当：
     ① 代码里括号的深度色（rainbow parens，Lisp 编辑器的标志性体验）
     ② 六个分卷的卷色
     ③ 顶栏进度条的括号层
   纸底米白、正文墨黑。亮色 only（用户眼睛受不了暗色）。
   零依赖，系统字体栈。
   ============================================================ */

:root {
  /* —— 纸与墨 —— */
  --paper: #FAF8F3;          /* 纸底（暖米白） */
  --paper-deep: #F2EFE7;     /* 卡片 */
  --paper-dim: #E8E4D9;      /* 分隔、底纹 */
  --ink: #1E2024;            /* 墨（标题 / 重点） */
  --ink-body: #3A3E45;       /* 正文 */
  --ink-faint: #7B818C;      /* 次要标注 */
  --line: #DDD8CB;           /* 细线 */

  /* —— 彩虹括号：深度 0 → 5 —— */
  --d0: #1F7A8C;             /* 青 · 卷 I 读 */
  --d1: #3E8A4F;             /* 绿 · 卷 II 求值 */
  --d2: #B07817;             /* 琥珀 · 卷 III 数据 */
  --d3: #C4553B;             /* 橙红 · 卷 IV 续延 */
  --d4: #B0387A;             /* 品红 · 卷 V 宏 */
  --d5: #6A4CA8;             /* 紫 · 卷 VI 造语 */

  --d0-mist: #E6F1F3;
  --d1-mist: #E9F1EA;
  --d2-mist: #F8F0DF;
  --d3-mist: #FAEBE6;
  --d4-mist: #F9E9F1;
  --d5-mist: #EFEAF8;

  --d0-deep: #145C6B;
  --d1-deep: #2C6B3B;
  --d2-deep: #8A5C0E;
  --d3-deep: #9E3F2A;
  --d4-deep: #8C2A60;
  --d5-deep: #513690;

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

  /* —— 代码 token —— */
  --tok-kw: #6A4CA8;         /* 特殊形式 define/lambda/if */
  --tok-str: #3E8A4F;
  --tok-num: #B0561F;
  --tok-com: #949AA4;
  --tok-bool: #1F7A8C;
  --tok-quote: #B0387A;      /* '  `  ,  —— 引用族 */
  --tok-fn: #1E2024;
  --tok-ty: #1F7A8C;
  --tok-op: #C4553B;

  --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);
  /* 极淡的括号底纹：整张纸就是一份没写完的 S-表达式 */
  background-image:
    url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='180' height='180' viewBox='0 0 180 180'%3E%3Cg fill='none' stroke='%231E2024' stroke-opacity='0.035' stroke-width='1.2'%3E%3Cpath d='M20 14c-6 8-6 20 0 28'/%3E%3Cpath d='M34 14c6 8 6 20 0 28'/%3E%3Cpath d='M104 52c-5 7-5 17 0 24'/%3E%3Cpath d='M116 52c5 7 5 17 0 24'/%3E%3Cpath d='M58 96c-7 9-7 23 0 32'/%3E%3Cpath d='M74 96c7 9 7 23 0 32'/%3E%3Cpath d='M142 118c-4 6-4 14 0 20'/%3E%3Cpath d='M152 118c4 6 4 14 0 20'/%3E%3Cpath d='M12 140c-5 7-5 17 0 24'/%3E%3Cpath d='M24 140c5 7 5 17 0 24'/%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(31, 122, 140, 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(--d4); border-bottom-color: var(--d4); }

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: 15px;
  color: var(--paper);
  background: linear-gradient(135deg, var(--d0), var(--d3) 55%, var(--d5));
  width: 24px; height: 24px; border-radius: 6px;
  display: inline-flex; align-items: center; justify-content: center;
  letter-spacing: 0;
}

/* 括号式进度：读到第几层，就点亮第几层括号 */
.topbar .paren-wrap { flex: 1; min-width: 60px; height: 100%; position: relative; display: flex; align-items: center; }
.topbar .paren-wrap svg { width: 100%; height: 34px; display: block; }
.paren-rail { stroke: var(--paper-dim); stroke-width: 5; stroke-linecap: round; fill: none; }
.paren-fill { stroke-width: 5; stroke-linecap: round; fill: none; }
.paren-tick { fill: rgba(30, 32, 36, 0.2); }
.paren-cursor { filter: drop-shadow(0 0 3px rgba(30, 32, 36, 0.28)); }
.topbar .paren-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 .paren-label.start { left: 0; }
.topbar .paren-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(--d4); border-color: var(--d4); }
.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: 11px; 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: 3px; top: -3px;
  font-family: var(--mono); font-size: 21px; 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: 19px;
}
.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(31, 122, 140, 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(106, 76, 168, 0.4); border-left-color: var(--d5); background: var(--d5-mist); }
.co.back .co-t { color: var(--d5-deep); }
/* ⚠ 坑 */
.co.trap { border-color: rgba(196, 85, 59, 0.45); border-left-color: var(--d3); background: var(--d3-mist); }
.co.trap .co-t { color: var(--d3-deep); }
/* ▶ 动手：去 DrRacket 里跑 */
.co.hand { border-color: rgba(62, 138, 79, 0.45); border-left-color: var(--d1); background: var(--d1-mist); }
.co.hand .co-t { color: var(--d1-deep); }
/* ✎ 掌故：Lisp 的六十年 */
.co.hist { border-color: rgba(176, 120, 23, 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;
}

/* Racket 源码：白纸卡片 */
pre.rkt {
  background: #FFFDF9; border: 1px solid var(--line);
  color: var(--ink); padding-top: 20px;
}
pre.rkt .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); }

/* REPL 输出 / 报错 */
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(--d1-deep); }
pre.out .odim { color: var(--ink-faint); }
pre.out .oprompt { color: var(--d0-deep); font-weight: 700; }
pre.out .oval { color: var(--ink); font-weight: 600; }

/* —— 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-bo { color: var(--tok-bool); font-weight: 600; }
.tk-qt { color: var(--tok-quote); 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(--d2-deep); }

/* —— 彩虹括号：全书的视觉签名 —— */
.p0 { color: var(--d0); }
.p1 { color: var(--d1); }
.p2 { color: var(--d2); }
.p3 { color: var(--d3); }
.p4 { color: var(--d4); }
.p5 { color: var(--d5); }
.p0, .p1, .p2, .p3, .p4, .p5 { font-weight: 700; }
/* 括号不配对 —— 读取器会当场告诉你 */
.perr { color: #fff; background: var(--d3); border-radius: 2px; font-weight: 700; }

/* 正文行内的彩虹括号（用在讲解嵌套时） */
.prose .pd { font-family: var(--mono); font-weight: 700; }

/* ============ 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; }

.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(--d1-deep); }

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

/* 高亮某个正在归约的子表达式（redex） */
.redex {
  background: #FCE9A8; border-radius: 3px;
  box-shadow: 0 0 0 1px rgba(176, 120, 23, 0.5);
}
.reduced { background: #D8EFDC; border-radius: 3px; }
.captured { background: #F9D9E8; border-radius: 3px; box-shadow: 0 0 0 1px rgba(176, 56, 122, 0.45); }
.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;
}
.hero h1 .lp { color: var(--d0); }
.hero h1 .rp { color: var(--d5); }
.hero .en {
  font-family: var(--mono); font-size: 13px; letter-spacing: 0.62em;
  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: 13px; top: 34px; bottom: 4px;
  width: 2px; background: var(--vc); opacity: 0.3;
}
.vol-block::after {
  content: "("; position: absolute; left: 4px; top: 12px;
  font-family: var(--mono); font-size: 24px; 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(--d1); }
.who .card.yes h3 { color: var(--d1-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(--d1); }
.who .card.no li::before { content: "✗"; color: var(--d3); }

/* ============ 题卡（第 01 章的十道题） ============ */
.quiz {
  border: 1px solid var(--line); border-radius: 9px;
  background: #FFFDF9; margin: 22px 0; overflow: hidden;
}
.quiz .qn {
  font-family: var(--mono); font-size: 11.5px; letter-spacing: 0.12em;
  color: var(--vol-deep); background: var(--vol-mist);
  padding: 8px 15px; border-bottom: 1px solid var(--line); font-weight: 700;
}
.quiz .qbody { padding: 14px 15px 4px; }
.quiz .qbody pre { margin-bottom: 12px; }
.quiz details {
  border-top: 1px dashed var(--line);
  padding: 10px 15px 12px; background: var(--paper);
}
.quiz details summary {
  font-family: var(--mono); font-size: 12px; letter-spacing: 0.08em;
  color: var(--ink-faint); cursor: pointer; list-style: none;
  user-select: none;
}
.quiz details summary::-webkit-details-marker { display: none; }
.quiz details summary::before { content: "▸ "; color: var(--vol); font-weight: 700; }
.quiz details[open] summary::before { content: "▾ "; }
.quiz details summary:hover { color: var(--vol-deep); }
.quiz details .qa { margin-top: 11px; font-size: 15px; line-height: 1.85; }
.quiz details .qa p { margin-bottom: 10px; }
.quiz details .qa p:last-child { margin-bottom: 0; }
.quiz details .qa pre { margin: 10px 0; }
.quiz .hit {
  display: inline-block; font-family: var(--mono); font-size: 11px;
  padding: 1px 7px; border-radius: 4px; margin-right: 6px;
  background: var(--d3-mist); color: var(--d3-deep); font-weight: 700;
}

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

/* 树（读取器） */
.tree {
  font-family: var(--mono); font-size: 12.8px; line-height: 1.75;
  white-space: pre; overflow-x: auto; color: var(--ink);
}
.tree .tn { color: var(--ink-faint); }

/* 环境帧 */
.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(--d5-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;
}

/* 栈可视化 */
.stackviz { display: flex; align-items: flex-end; gap: 3px; height: 132px; padding-top: 6px; }
.stackviz .col { flex: 1; display: flex; flex-direction: column-reverse; gap: 2px; min-width: 0; }
.stackviz .cell {
  height: 11px; border-radius: 2px; background: var(--vol); opacity: 0.85;
}
.stackviz .cell.top { background: var(--d3); opacity: 1; }
.stackviz .lab {
  font-family: var(--mono); font-size: 9.5px; color: var(--ink-faint);
  text-align: center; margin-top: 4px;
}

/* 惰性单元格 */
.cells { display: flex; gap: 5px; flex-wrap: wrap; }
.cells .c {
  font-family: var(--mono); font-size: 12px; min-width: 42px; text-align: center;
  padding: 6px 4px; border-radius: 5px; border: 1px dashed var(--line);
  color: var(--ink-faint); background: var(--paper);
}
.cells .c.forced {
  border-style: solid; border-color: var(--d1);
  background: var(--d1-mist); color: var(--d1-deep); font-weight: 700;
}
.cells .c.now { border-color: var(--d3); background: var(--d3-mist); color: var(--d3-deep); }

/* 可点击的子表达式（续延的洞） */
.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);
}

/* eval/apply 轨迹 */
.trace {
  font-family: var(--mono); font-size: 12.4px; line-height: 1.85;
  max-height: 320px; overflow-y: auto; white-space: pre; overflow-x: auto;
}
.trace .tl { display: block; border-radius: 3px; padding: 0 4px; }
.trace .tl.ev { color: var(--d0-deep); }
.trace .tl.ap { color: var(--d4-deep); }
.trace .tl.rv { color: var(--d1-deep); }
.trace .tl.cur { background: #FCE9A8; }

@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; }
}