/* ============================================================
   《当真》 SERIOUS — 写给会 MySQL 的人的 PostgreSQL 小书
   设计系统：关系网格 + 计划树

   母题：数据库不是一个你随便丢行进去的桶。PostgreSQL 把每件事
   都「当真」—— 类型当真、约束当真、事务当真、你写的 SQL 也当真
   （planner 认真替你找最优路径）。全程对照 MySQL 的「不当真」。

   纸底是一张冷调的关系纸（细网格 = 表格 / 电子表），墨是冷黑，
   等宽体是主角（SQL / psql / 计划树）。六卷 = 六个相位，每相一色：
     起底(蓝) 取数(青) 类型(绿) 事务(绯) 计划(紫) 现场(石)
   品牌色 = PostgreSQL 靛蓝 #336791。亮色 only（用户眼睛受不了暗色）。
   零依赖，系统字体栈。
   ============================================================ */

:root {
  /* —— 关系纸与墨 —— */
  --paper: #FBFCFD;
  --paper-deep: #F1F4F8;
  --paper-dim: #E4E9F0;
  --ink: #16202B;
  --ink-body: #38424E;
  --ink-faint: #79828E;
  --line: #D8DFE8;
  --grid: rgba(51, 103, 145, 0.30);

  /* —— PostgreSQL 品牌靛蓝 —— */
  --pg: #336791;
  --pg-deep: #1F4B6E;

  /* —— 六相：卷色 —— */
  --p0: #1D4E89;   /* 起底 GROUND  蓝 */
  --p1: #0E7490;   /* 取数 QUERY   青 */
  --p2: #15803D;   /* 类型 TYPE    绿 */
  --p3: #BE123C;   /* 事务 TXN     绯 */
  --p4: #6D28D9;   /* 计划 PLAN    紫 */
  --p5: #475569;   /* 现场 FIELD   石 */

  --p0-mist: #E9EFF7;
  --p1-mist: #E1F0F3;
  --p2-mist: #E7F3EB;
  --p3-mist: #FCE9ED;
  --p4-mist: #F1EBFC;
  --p5-mist: #EBEEF3;

  --p0-deep: #123A6B;
  --p1-deep: #155E75;
  --p2-deep: #166534;
  --p3-deep: #9F1239;
  --p4-deep: #5B21B6;
  --p5-deep: #334155;

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

  /* —— SQL 代码 token —— */
  --tok-kw: #1D4E89;    /* 关键字 SELECT / FROM / WHERE */
  --tok-ty: #0E7490;    /* 类型名 integer / text / timestamptz */
  --tok-st: #166534;    /* 字符串 'abc' */
  --tok-num: #B45309;   /* 数字 */
  --tok-com: #8A94A0;   /* 注释 -- ... */
  --tok-fn: #6D28D9;    /* 函数名 count() / now() */
  --tok-op: #BE123C;    /* 运算符 = < || */

  --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: 790px;
}

body[data-vol="1"] { --vol: var(--p0); --vol-deep: var(--p0-deep); --vol-mist: var(--p0-mist); }
body[data-vol="2"] { --vol: var(--p1); --vol-deep: var(--p1-deep); --vol-mist: var(--p1-mist); }
body[data-vol="3"] { --vol: var(--p2); --vol-deep: var(--p2-deep); --vol-mist: var(--p2-mist); }
body[data-vol="4"] { --vol: var(--p3); --vol-deep: var(--p3-deep); --vol-mist: var(--p3-mist); }
body[data-vol="5"] { --vol: var(--p4); --vol-deep: var(--p4-deep); --vol-mist: var(--p4-mist); }
body[data-vol="6"] { --vol: var(--p5); --vol-deep: var(--p5-deep); --vol-mist: var(--p5-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:
    linear-gradient(var(--grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--grid) 1px, transparent 1px);
  background-size: 27px 27px;
  color: var(--ink-body);
  line-height: 1.9;
  font-size: 16.5px;
  padding-top: var(--topbar-h);
}

::selection { background: rgba(51, 103, 145, 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(--p3); border-bottom-color: var(--p3); }

code {
  font-family: var(--mono);
  font-size: 0.86em;
  background: rgba(22, 32, 43, 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); }

/* 「当真」印章：正文里给强调点盖个戳 */
.stamp {
  font-family: var(--mono); font-size: 0.72em; letter-spacing: 0.1em;
  color: var(--p3-deep); border: 1.5px solid var(--p3);
  border-radius: 4px; padding: 0 5px; margin: 0 3px;
  transform: rotate(-3deg); display: inline-block;
  white-space: nowrap; font-weight: 700;
}

/* ============ 顶栏 ============ */
.topbar {
  position: fixed; top: 0; left: 0; right: 0; z-index: 90;
  height: var(--topbar-h);
  background: rgba(251, 252, 253, 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(--pg-deep); }
.topbar .brand .mark {
  font-family: var(--mono); font-weight: 700; font-size: 12px;
  color: #fff;
  background: linear-gradient(135deg, var(--pg), var(--p0) 60%, var(--p4));
  width: 27px; 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(22, 32, 43, 0.2); }
.pipe-cursor { filter: drop-shadow(0 0 3px rgba(22, 32, 43, 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(251, 252, 253, 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(--p3); border-color: var(--p3); }
.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: #fff;
}
.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; }
.prose td.yes { color: var(--p2-deep); font-weight: 600; }
.prose td.no { color: var(--p3-deep); font-weight: 600; }

/* ============ 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: #fff;
}
.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(22, 32, 43, 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(29, 78, 137, 0.4); border-left-color: var(--p0); background: var(--p0-mist); }
.co.core .co-t { color: var(--p0-deep); }
/* ⇄ 对照 MySQL：本书招牌，每章一记 */
.co.mysql { border-color: rgba(71, 85, 105, 0.42); border-left-color: var(--p5); background: var(--p5-mist); }
.co.mysql .co-t { color: var(--p5-deep); }
/* ⚠ 坑 */
.co.trap { border-color: rgba(190, 18, 60, 0.42); border-left-color: var(--p3); background: var(--p3-mist); }
.co.trap .co-t { color: var(--p3-deep); }
/* ▶ 动手：现在就在下面的 demo 里试 */
.co.hand { border-color: rgba(14, 116, 144, 0.42); border-left-color: var(--p1); background: var(--p1-mist); }
.co.hand .co-t { color: var(--p1-deep); }
/* ✎ 掌故 */
.co.hist { border-color: rgba(21, 128, 61, 0.42); border-left-color: var(--p2); background: var(--p2-mist); }
.co.hist .co-t { color: var(--p2-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;
}

/* SQL：白纸卡片（主角） */
pre.sql {
  background: #fff; border: 1px solid var(--line);
  color: var(--ink); padding-top: 20px;
}
pre.sql .tag-corner { background: var(--paper-deep); color: var(--pg-deep); }

/* psql 会话：靛蓝提示符的终端（浅色） */
pre.psql {
  background: #F5F8FB; border: 1px solid var(--line);
  border-left: 3px solid var(--pg); color: var(--ink); padding-top: 20px;
}
pre.psql .tag-corner { background: var(--p0-mist); color: var(--pg-deep); }

/* MySQL 对照：淡灰卡片，明确「这是另一门数据库」 */
pre.mysql {
  background: #F2F4F6; border: 1px solid var(--line);
  border-left: 3px solid var(--p5); color: var(--ink); padding-top: 20px;
}
pre.mysql .tag-corner { background: var(--p5-mist); color: var(--p5-deep); }

/* JS 对照：应用层代码 */
pre.js {
  background: #F5F8FB; border: 1px solid var(--line);
  border-left: 3px solid var(--p4); color: var(--ink); padding-top: 20px;
}
pre.js .tag-corner { background: var(--p4-mist); color: var(--p4-deep); }

/* 查询结果 / EXPLAIN / 报错 */
pre.out {
  background: var(--paper-deep); 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(--p3-deep); font-weight: 600; }
pre.out .ook { color: var(--p2-deep); }
pre.out .odim { color: var(--ink-faint); }
pre.out .oprompt { color: var(--pg-deep); font-weight: 700; }
pre.out .oval { color: var(--ink); font-weight: 600; }
pre.out .oplan { color: var(--p4-deep); font-weight: 700; }
pre.out .onull { color: var(--ink-faint); font-style: italic; }

/* —— token —— */
.tk-co { color: var(--tok-com); font-style: italic; }
.tk-st { color: var(--tok-st); }
.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-qi { color: var(--pg-deep); }

/* ============ demo 外壳 ============ */
.demo {
  border: 1px solid var(--line); border-radius: 10px;
  background: #fff; margin: 26px 0; overflow: hidden;
  box-shadow: 0 1px 3px rgba(22, 32, 43, 0.05);
}
.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%; overflow-x: auto; }

.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(--p3-deep); }
.d-stat .cool { color: var(--p2-deep); }

.d-err {
  font-family: var(--mono); font-size: 12.5px;
  color: var(--p3-deep); background: var(--p3-mist);
  border: 1px solid rgba(190, 18, 60, 0.35); border-radius: 6px;
  padding: 8px 11px; white-space: pre-wrap;
}
.d-ok {
  font-family: var(--mono); font-size: 12.5px;
  color: var(--p2-deep); background: var(--p2-mist);
  border: 1px solid rgba(21, 128, 61, 0.35); border-radius: 6px;
  padding: 8px 11px; white-space: pre-wrap;
}

/* ============ demo 构件：关系结果表（.rtab）============ */
.rtab-wrap { overflow-x: auto; -webkit-overflow-scrolling: touch; }
table.rtab {
  border-collapse: collapse; font-family: var(--mono); font-size: 12.4px;
  background: #fff; min-width: 100%;
}
table.rtab th, table.rtab td {
  border: 1px solid var(--line); padding: 4px 10px; text-align: left;
  white-space: nowrap; color: var(--ink);
}
table.rtab th {
  background: var(--vol-mist); color: var(--vol-deep);
  font-weight: 700; letter-spacing: 0.03em;
}
table.rtab td.rn { color: var(--ink-faint); text-align: right; background: var(--paper); }
table.rtab td.null { color: var(--ink-faint); font-style: italic; }
table.rtab tr.on td { background: #FCF3D6; }
table.rtab tr.new td { background: var(--p2-mist); }
table.rtab tr.dead td { color: var(--ink-faint); text-decoration: line-through; opacity: 0.55; }
table.rtab tr.hid td { opacity: 0.32; }
table.rtab td.hl { background: #FCF3D6; font-weight: 700; }
table.rtab caption {
  font-family: var(--mono); font-size: 10.5px; letter-spacing: 0.08em;
  color: var(--ink-faint); text-align: left; padding: 0 0 5px;
  caption-side: top;
}

/* ============ demo 构件：EXPLAIN 计划树（.ptree）============ */
.ptree {
  font-family: var(--mono); font-size: 12.6px; line-height: 1.85;
  background: var(--paper); border: 1px solid var(--line);
  border-radius: 6px; padding: 12px 14px; overflow-x: auto;
  white-space: pre; color: var(--ink);
}
.ptree .pnode { color: var(--p4-deep); font-weight: 700; }
.ptree .pscan { color: var(--p1-deep); font-weight: 700; }
.ptree .pidx { color: var(--p2-deep); font-weight: 700; }
.ptree .pcost { color: var(--ink-faint); }
.ptree .prows { color: var(--tok-num); }
.ptree .parrow { color: var(--ink-faint); }
.ptree .pline.win { background: var(--p2-mist); border-radius: 3px; }
.ptree .pline.lose { color: var(--ink-faint); }

/* ============ demo 构件：三值逻辑真值格（.tvl）============ */
.tvl { display: flex; flex-wrap: wrap; gap: 8px; }
.tvl .cell {
  font-family: var(--mono); font-size: 12px; text-align: center;
  border: 1px solid var(--line); border-radius: 6px;
  padding: 6px 12px; background: var(--paper); min-width: 66px;
}
.tval { font-weight: 700; }
.tval.t { color: var(--p2-deep); }
.tval.f { color: var(--p3-deep); }
.tval.u { color: var(--tok-num); }
.tvl .cell.res { border-width: 2px; border-color: var(--vol); background: var(--vol-mist); }

/* ============ demo 构件：MVCC 堆元组（.heap）============ */
.heap { display: flex; flex-direction: column; gap: 5px; }
.tuple {
  display: grid; grid-template-columns: 58px 1fr 54px 54px; gap: 0;
  font-family: var(--mono); font-size: 12px; align-items: stretch;
  border: 1px solid var(--line); border-radius: 6px; overflow: hidden;
  background: #fff;
}
.tuple > span { padding: 4px 9px; border-right: 1px solid var(--line); }
.tuple > span:last-child { border-right: none; }
.tuple .ctid { color: var(--ink-faint); background: var(--paper); }
.tuple .cols { color: var(--ink); }
.tuple .xmin { color: var(--p2-deep); background: var(--p2-mist); text-align: center; }
.tuple .xmax { color: var(--p3-deep); background: var(--p3-mist); text-align: center; }
.tuple.dead { opacity: 0.5; }
.tuple.dead .cols { text-decoration: line-through; }
.tuple.visible { box-shadow: inset 3px 0 0 var(--vol); }
.tuple.gone { opacity: 0.28; }

/* 事务泳道（isolation / mvcc） */
.txlane {
  border: 1px solid var(--line); border-radius: 8px; overflow: hidden; background: #fff;
}
.txlane .tx-h {
  font-family: var(--mono); font-size: 11.5px; font-weight: 700;
  padding: 6px 11px; letter-spacing: 0.06em;
  border-bottom: 1px solid var(--line);
}
.txlane.a .tx-h { color: var(--p1-deep); background: var(--p1-mist); }
.txlane.b .tx-h { color: var(--p4-deep); background: var(--p4-mist); }
.txlane .tx-log {
  font-family: var(--mono); font-size: 12px; line-height: 1.75;
  padding: 8px 11px; white-space: pre-wrap; color: var(--ink); min-height: 40px;
}
.txlane .tx-log .cmd { color: var(--vol-deep); font-weight: 700; }
.txlane .tx-log .ret { color: var(--ink); }
.txlane .tx-log .note { color: var(--ink-faint); }

/* B-tree（index demo） */
.btree { font-family: var(--mono); font-size: 12px; }
.bt-level { display: flex; justify-content: center; gap: 8px; margin-bottom: 10px; flex-wrap: wrap; }
.bt-node {
  border: 1px solid var(--line); border-radius: 6px; padding: 3px 8px;
  background: var(--paper); color: var(--ink); display: inline-flex; gap: 6px;
}
.bt-node .k { padding: 0 2px; }
.bt-node .k.on { background: var(--p2); color: #fff; border-radius: 3px; }
.bt-node.path { border-color: var(--p2); box-shadow: 0 0 0 2px var(--p2-mist); }
.scanrow { display: flex; flex-wrap: wrap; gap: 3px; }
.scanrow .sc {
  width: 15px; height: 15px; border-radius: 3px; border: 1px solid var(--line);
  background: var(--paper);
}
.scanrow .sc.read { background: var(--p3-mist); border-color: var(--p3); }
.scanrow .sc.hit { background: var(--p2); border-color: var(--p2); }

/* 可点击子集（relalg） */
.setgrid { display: flex; gap: 14px; flex-wrap: wrap; align-items: flex-start; }
.setbox { border: 1px solid var(--line); border-radius: 8px; padding: 8px; background: #fff; }
.setbox .sb-t { font-family: var(--mono); font-size: 10.5px; color: var(--ink-faint); margin-bottom: 6px; letter-spacing: 0.06em; }

.redex { background: #FCE9A8; border-radius: 3px; box-shadow: 0 0 0 1px rgba(190, 18, 60, 0.4); }
.reduced { background: #D8EFDC; border-radius: 3px; }
.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: #fff;
  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(--pg); 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(--pg);
  background: var(--pg); color: #fff; font-weight: 600;
}
.hero-cta a:hover { background: var(--pg-deep); border-color: var(--pg-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: #fff; 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: #fff;
}
.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(--p2); }
.who .card.yes h3 { color: var(--p2-deep); }
.who .card.no { border-left: 3px solid var(--p3); }
.who .card.no h3 { color: var(--p3-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(--p2); }
.who .card.no li::before { content: "✗"; color: var(--p3); }

@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; }
  .tuple { grid-template-columns: 50px 1fr 46px 46px; }
}