set 与 show：样式是规则，不是命令

set：往样式表里登记默认值#

我先把整个 lab/ch04/set-rules.typ 摆出来（源文件），后面逐条拆：

1
#set page(width: 14cm, height: auto, margin: 1cm)
2

3
// A set rule changes defaults from this point to the end of its scope.
4
#set text(size: 11pt, lang: "zh")
5
#set par(justify: true, leading: 0.8em)
6
正文使用 11pt。
7

8
#[
9
  // Inside a content block the rule ends at the closing bracket.
10
  #set text(fill: blue, size: 14pt)
11
  这一段是蓝色 14pt。
12
]
13

14
回到 11pt。
15

16
// A conditional set rule.
17
#let draft = true
18
#set text(fill: red) if draft
19
草稿状态下整篇变红。
20

21
// Rules fold: `stroke` of a table merges with the previous set rule.
22
#set table(stroke: 0.5pt, inset: 6pt)
23
#set table(fill: (x, y) => if y == 0 { luma(230) })
24
#table(
25
  columns: 2,
26
  [名称], [值],
27
  [alpha], [0.05],
28
)
29

30
// Set rules also work on numbering.
31
#set heading(numbering: "一、")
32
= 第一节
33
= 第二节

在仓库里用 Typst 0.15.1 编译：

1
$ nix develop --command make ch04
2
./scripts/chapter.sh ch04
3
ok   lab/ch04/fig-show-heading.typ
4
ok   lab/ch04/not-settable.fail.typ (failed as expected)
5
ok   lab/ch04/selectors.typ
6
ok   lab/ch04/set-rules.typ
7
ok   lab/ch04/show-rules.typ
8
ok   lab/ch04/first-note/main.typ

渲染出来是这样：

几个值得停一下的地方。

作用域就是代码块的边界。 方括号 #[ ... ] 里的 set text(fill: blue) 在右方括号处结束，下一段回到 11pt。这和 shell 里 ( cd /tmp; export X=1 ) 一个意思：子 shell 里改的环境变量，括号一关就消失。函数体和 for 循环体同样是作用域。我在 /tmp/p4/scope.typ 里验证了：

1
#set page(width: 12cm, height: auto, margin: 8pt)
2
#let f() = {
3
  set text(fill: red)
4
  [函数里变红]
5
}
6
#f() 函数外不受影响。
7
#for i in range(2) {
8
  set text(fill: blue)
9
  [循环内 #i ]
10
}
11
循环外还是黑色。
12
#show heading: set text(fill: purple)
13
#[
14
  #show heading: set text(fill: orange)
15
  = 块内标题
16
]
17
= 块外标题

这几个 /tmp/p4 下的小实验没有放进仓库，代码就在文中，你可以原样粘贴。

后写的覆盖先写的。 set text(size: 14pt) 之后，同一作用域里再写一次，以后一次为准。再看一个容易忽略的细节：size 接受相对单位，2em 是相对继承来的字号，不是相对 11pt 之类的固定值：

1
#set text(size: 10pt)
2
#set text(size: 2em)
3
#context text.size
4

5
#[
6
  #set text(size: 2em)
7
  #context text.size
8
]
9

10
#context text.size

1
20pt
2

3
40pt
4
20pt

第一次 2em 乘的是 10pt，方括号里再来一次就是 20pt 的两倍。xuan 里一级标题写的 set text(size: 1.4em) 就依赖这个行为：它放大的是正文字号，所以正文字号变了，标题也跟着变。（context text.size 是第 7 篇的内容，这里只借它读出当前字号。）

set ... if 是条件登记。 #set text(fill: red) if draft 在 draft 为真时才登记。注意渲染图里 draft 那行之后的所有内容都变红了，表格里的字和后面的标题也不例外，因为规则一直有效到文件结束。

规则会折叠（fold）。 对字典或描边这类复合值，后一条规则只覆盖它写出的那几个键，其余保留。我在 /tmp/p4/fold.typ 里跑了：

1
#set page(width: 12cm, height: auto, margin: 8pt)
2
#set table(stroke: 0.5pt + blue)
3
#set table(stroke: (bottom: 2pt + red))
4
#table(
5
  columns: 2,
6
  [a], [b],
7
  [c], [d],
8
)

第二条规则只指定了 bottom，其余三边保留蓝色细线。如果它是覆盖语义，表格会只剩一条红线。

不是所有字段都能 set。 heading 的 body 是内容本身，不属于样式，所以：

1
// `body` is not a parameter of `set`: only settable fields are accepted.
2
#set heading(body: [x])

1
error: unexpected argument: body
2
  ┌─ lab/ch04/not-settable.fail.typ:2:13
3
  │
4
2 │ #set heading(body: [x])
5
  │              ^^^^^^^^^

这条错误信息是 make ch04 从 out/ch04/not-settable.stderr 里存下来的。判断一个参数能不能 set，最快的办法就是试，反正报错只有这一行。

show：改写某一类元素#

set 只能改元素的参数。要换掉元素长什么样，或者给一类元素多套一层，就轮到 show。lab/ch04/show-rules.typ（源文件）：

1
#set page(width: 14cm, height: auto, margin: 1cm)
2

3
// `show <selector>: set ...` restyles matching elements.
4
#show heading: set text(fill: blue)
5
#show heading.where(level: 1): set text(size: 1.4em)
6

7
// `show <selector>: it => ...` replaces them with new content.
8
#show strong: it => text(fill: red, it.body)
9
#show "Typst": it => box(fill: yellow.lighten(60%), it)
10
#show regex("\d+%"): it => text(fill: green, weight: "bold", it)
11

12
= 标题一
13
== 标题二
14
这里有 *不再加粗但变红* 的文字，提到 Typst，完成度 80%。
15

16
// Wrapping a function as a show rule: the usual template shape.
17
#let boxed(body) = {
18
  set text(size: 0.9em)
19
  block(stroke: 0.5pt, inset: 8pt, body)
20
}
21
#show: boxed
22
整段内容都被 `boxed` 包住。

show 的冒号后面有三种形态，对应这个文件的三段：

1. show X: set ...：只改匹配元素的样式。show heading: set text(fill: blue) 与全局 set text 的区别是只作用在标题上。
2. show X: it => ...：函数接收匹配到的元素 it，返回的内容替换原位。strong 那条取 it.body，把粗体外壳丢了，所以渲染里是红色的非粗体字。
3. show: f：没有选择器，匹配“后面所有内容”，函数 f 收到整段剩余文档。这就是模板的形状，下一节专讲。

选择器 X 不一定是元素函数：字符串 "Typst" 匹配字面文字，regex("\d+%") 匹配正则（渲染里 80% 变绿加粗），标签 <name> 匹配带那个标签的元素。

多条 show 规则叠在同一元素上，谁先谁后？ 直觉上后写的会覆盖先写的，实验结果没有这么简单。/tmp/p4/order.typ：

1
#set page(width: 12cm, height: auto, margin: 8pt)
2
#set text(size: 10pt)
3
#set text(size: 14pt)
4
大小是 #context text.size。
5

6
#show "Typst": it => text(fill: red, it)
7
#show "Typst": it => text(fill: blue, it)
8
这里的 Typst 是什么颜色？
9

10
#show strong: it => [(#it.body)]
11
#show strong: it => text(fill: green, it)
12
*粗体*
13

14
#show heading: it => [#it]
15
= 不会死循环
16
#show heading.where(level: 2): none
17
== 这一行消失了
18
#show "旧": "新"
19
旧词被换成新词。

读这张图：

• "Typst" 是红色，先写的红色规则赢了。两条规则的输出里都含有原来的 it，读法是：后写的规则先匹配（外层），它输出的 text(fill: blue, it) 里又出现了一个 "Typst"，这个内层的被先写的规则接着包成红色，红在内层，字面上盖过蓝。
• strong 那组把这个读法钉死了：结果是括号包着的绿色文字。绿色（后写）在外层，括号替换（先写）在内层。
• 所以：后写的 show 规则在外，先写的在内，每条规则都会看到前面规则的输出。 想用颜色覆盖前面的 show 规则，最稳的办法是用 show X: set text(...)，set 形式不产生嵌套。
• show heading: it => [#it] 没有无限递归（有输出就说明它终止了）。
• show heading.where(level: 2): none 让匹配元素消失，show "旧": "新" 这类字符串替换也能直接写。

渲染里还可以看一个常用组合：lab/ch04/fig-show-heading.typ（源文件）把标题换成带蓝色下划线的块，用到了标题的 it.body。这是文件里定义“后”那一半的部分（完整文件还有一个 grid 把前后并排放在一起）：

1
#let styled = {
2
  show heading: it => block(
3
    width: 5cm,
4
    stroke: (bottom: 1pt + blue),
5
    inset: (bottom: 4pt),
6
    text(fill: blue, it.body),
7
  )
8
  before
9
}

make ch04 编出来的图：

一个陷阱：it => ... it.body 只取了标题的正文，编号没了。我在 /tmp/p4/t1.typ 里验证：

1
#set heading(numbering: "1.")
2
#show heading: it => text(fill: blue, it.body)
3
= 无号

pdftotext 的输出只有 无号，没有 1.。如果标题有编号又想自己画标题，要把编号拼回去，或者改用 show heading: set ... 的形式。xuan 的 base 里所有标题调整都用后者，所以编号完好。

选择器：能选什么#

lab/ch04/selectors.typ（源文件）：

1
#set page(width: 14cm, height: auto, margin: 1cm)
2
#set heading(numbering: "1.")
3

4
// where: filter by field.
5
#show heading.where(level: 2): set text(fill: blue)
6
// label: only the element carrying <special>.
7
#show <special>: set text(fill: red)
8
// or: either selector.
9
#show selector(strong).or(emph): set text(fill: purple)
10

11
= 一级标题
12
== 二级标题
13
#[这是 *粗体* 与 _斜体_。] <special>
14
#metadata(none) <mark>
15

16
= 标记之后的一级标题
17
== 标题里的 _斜体_
18

19
// `before`, `after` and 0.15 `within` cannot drive a show rule, but they work
20
// in `query`.
21
#context [
22
  标记之后有 #query(heading.where(level: 1).after(<mark>)).len() 个一级标题，
23
  之前有 #query(heading.where(level: 1).before(<mark>)).len() 个。
24
]
25
#context [
26
  标题里的斜体有 #query(selector(emph).within(heading)).len() 处，
27
  全文共 #query(emph).len() 处。
28
]

这个文件里 <special> 贴在一个用 #[ ... ] 括起来的整句上，所以整句被选中：“这是”“与”和句号是红色。“粗体”和“斜体”仍然是紫色，因为它们各自还有一条 strong/emph 的规则，我观察到的结果是里层的颜色盖过外层。标签总是附着在紧挨它之前的那个元素上，所以标签与元素之间有没有空格会改变选中的范围。/tmp/p4/label.typ（不在仓库里）把这一点单独拿出来：

1
#set page(width: 12cm, height: auto, margin: 8pt)
2
#show <warn>: set text(fill: red)
3
#show <warn>: it => block(stroke: 0.5pt + red, inset: 4pt, it)
4
普通段落。
5

6
这一段带标签。 <warn>
7

8
直接贴着标签的 *词*<warn> 才被选中。
9

10
#[#set text(fill: blue); 用函数调用加标签：#text[蓝色]<warn>]

第二段里 。 <warn> 中间有空格，标签落在了前面那句文字上；第三段 *词*<warn> 中间没空格，落在 strong 元素上，所以只框住“词”字。（最后一行的蓝色来自方括号里的 set，红框来自标签规则，两条规则互不干扰。）

选择器清单，除 and 外每一项都在上面的文件里出现过：

• 元素函数：heading、strong、emph。
• 带字段过滤的：heading.where(level: 2)。
• 字符串和正则："Typst"、regex("\d+%")。
• 标签：<special>。
• 组合：selector(strong).or(emph)。
• 求交集：selector(heading).and(<x>)，实验见下面。
• 位置关系：.before(<mark>)、.after(<mark>)，以及 0.15 新增的 .within(heading)，意为“位于某个 heading 内部”。写法是 selector(emph).within(heading)，不是 emph.within(...)。

and 不在上面的文件里，我另写了 /tmp/p4/and.typ（不在仓库里）：

1
#set page(width: 12cm, height: auto, margin: 8pt)
2
#show selector(heading).and(<x>): set text(fill: red)
3
= 带标签 <x>
4
= 无标签
5
#text[正文] <x>

编译通过，渲染里只有“带标签”这个标题变红：“无标签”没有 <x>，带 <x> 的“正文”不是标题，两个条件都满足才算。

位置关系的三个选择器不能驱动 show。 我直接试了：

1
#show heading.where(level: 1).before(<m>): set text(fill: red)
2
= 标题
3
#metadata(none) <m>

1
error: this selector cannot be used with show
2
  ┌─ before-show.typ:1:6
3
  │
4
1 │ #show heading.where(level: 1).before(<m>): set text(fill: red)
5
  │       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

within 同样不行，但它的措辞不一样，还附带一句提示：

1
#show selector(emph).within(heading): set text(fill: red)
2
= 带 _斜体_ 的标题

1
error: this selector cannot currently be used with show
2
  ┌─ within-show.typ:1:6
3
  │
4
1 │ #show selector(emph).within(heading): set text(fill: red)
5
  │       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6
  │
7
  = hint: support for this is planned for the future

我猜原因是 show 规则在元素被“实现化”（realize）时匹配，那一刻元素还没有文档里的位置，而 before/after 需要比较位置，不过这只是猜测，官方提示只说了“计划支持”。无论如何，它们在 query 里能用，上面的文件已经算出来了：标记前后各 1 个一级标题，标题里的斜体 1 处，全文斜体 2 处。query 要放在 context 里，这两样第 7 篇专讲，现在知道有这么一条路就行。

numbering：编号是一个字符串，或一个函数#

set heading(numbering: ...) 在上面两个文件里各出现了一次："一、" 和 "1."。numbering 参数的值要么是编号模式字符串，要么是一个函数。numbering() 本身也是一个普通函数，可以直接调用，这是测试模式的最快办法。/tmp/p4/numbering.typ：

1
#set page(width: 12cm, height: auto, margin: 8pt)
2
#numbering("1.1.1", 1, 2, 3) \
3
#numbering("1.a.i", 1, 2, 3) \
4
#numbering("A.I.", 1, 2, 3) \
5
#numbering("(1)", 12) \
6
#numbering("a", 27) \
7
#numbering("I", 14) \
8
#numbering("一、", 3) \
9
#numbering("一", 23) \
10
#numbering("壹", 23) \
11
#numbering("①", 7) \
12
#set heading(numbering: (..n) => {
13
  let nums = n.pos()
14
  if nums.len() == 1 { "第 " + str(nums.first()) + " 章" } else {
15
    nums.map(str).join(".")
16
  }
17
})
18
= 起步
19
== 细节
20
#set heading(numbering: "1.1.")
21
= 换了编号
22
#set heading(numbering: none)
23
= 无编号

pdftotext -layout 的输出：

1
1.2.3
2
1.b.iii
3
A.II.III.
4
(12)
5
aa
6
XIV
7
三、
8
二十三
9
贰拾叁
10
⑦
11

12
第 1 章 起步
13
1.1 细节
14

15
2. 换了编号
16

17
无编号

要点：

• 模式串里的 1、a、A、i、I、一、壹、① 等是“计数符号”，其余字符（点、括号、顿号）原样保留。传入的计数比符号多时，最后一个符号连同它前面的分隔符会重复：我另外试了 numbering("1.a", 1, 2, 3)，输出是 1.b.c。
• numbering("a", 27) 是 aa，我还试了 28 和 53，分别是 ab 和 ba，26 是 z，进位方式和电子表格的列名一样。
• 中文数字 一 和大写数字 壹 都是内置的，23 分别是“二十三”和“贰拾叁”。第 5 篇会把它们用到中文标题里。
• 函数形式接收所有层级的计数，返回字符串或 content。上面的例子给一级标题加“第 N 章”，其余层级用点号连接。
• 换模式串或者 set heading(numbering: none) 都不会重置计数器：输出里“换了编号”是 2.，因为前面已经有了“起步”这一章，计数一直在往上走。重置计数器是第 7 篇的内容。

模板：show: f.with(...)#

前面说 show: f 把后面所有内容交给 f。模板就是这个形状的函数：body 是最后一个位置参数，其他参数有默认值，体内先 set 再 show，最后输出 body。先写一个最小的：

1
#let mini(title: none, body) = {
2
  set page(paper: "a6", margin: 1.5cm)
3
  set text(size: 10pt)
4
  set heading(numbering: "1.1")
5
  show heading.where(level: 1): set text(fill: blue)
6
  align(center, text(1.6em, strong(title)))
7
  body
8
}

调用：

1
#import "@local/mini:0.1.0": mini
2
#show: mini.with(title: "迷你模板")
3
= 一节
4
正文。

这里 mini.with(title: "迷你模板") 是第 3 篇讲过的 .with，返回一个只差 body 的新函数。show: 后面没有选择器，所以这个新函数拿到的就是“从这一行往后的整个文档”。下面这样写完全等价：

1
#import "@local/mini:0.1.0": mini
2
#show: it => mini(it, title: "迷你模板")
3
= 一节
4
正文。

我把两份源文件各编成 PNG，用 cmp 比较，输出是 identical。写成函数体里先 set 后 show 还有一个原因：函数体也是作用域，这些规则只对 body 生效，不会漏到调用者的后续代码里。

#show: x 不一定要放在文件开头，放在中间就只管它后面的那一半文档。

把模板装成包：@local/xuan:0.1.0#

文件开头那句 #import "@local/mini:0.1.0": mini 里的 @local/mini:0.1.0 是一个包说明符，形状是 @命名空间/包名:版本。@preview 是 Typst Universe 的命名空间（第 14 篇），@local 是留给本机包的。Typst 怎么把说明符变成磁盘上的目录？规则是：

1
<package-path>/<命名空间>/<包名>/<版本>/typst.toml

我在 /tmp/p4/mini/ 里放了这个最小包，目录是这样：

1
$ find packages -type f | sort
2
packages/local/mini/0.1.0/lib.typ
3
packages/local/mini/0.1.0/typst.toml

先不告诉 Typst 包在哪，直接编译：

1
$ typst compile doc.typ doc.pdf
2
error: package not found (searched for @local/mini:0.1.0)
3
  ┌─ doc.typ:1:8
4
  │
5
1 │ #import "@local/mini:0.1.0": mini
6
  │         ^^^^^^^^^^^^^^^^^^^

（这一步我在 typst-lab 的 nix develop 里跑，环境变量 TYPST_PACKAGE_PATH 已经指向 typst-lab/packages，那里只有 xuan，所以找不到 mini。）

告诉 Typst 去哪找，有两种等价写法，一个是命令行参数，一个是环境变量：

1
$ typst compile --package-path packages doc.typ doc.pdf
2
$ TYPST_PACKAGE_PATH=$PWD/packages typst compile doc.typ doc2.pdf

两条命令都以退出码 0 结束。命令行参数和环境变量同时存在时，参数覆盖环境变量，我把 TYPST_PACKAGE_PATH 设成 typst-lab/packages 的同时传 --package-path packages 就编译成功了。

typst-lab 的 flake.nix 里 shellHook 把它设成 $PWD/packages：

1
export TYPST_PACKAGE_PATH="$PWD/packages"

所以仓库里每一份文档都可以直接写 #import "@local/xuan:0.1.0": *，不需要任何安装步骤。

如果既不传参数也不设环境变量，@local 回落到系统默认目录。我把 XDG_DATA_HOME 指到 /tmp/p4/xdg，在 $XDG_DATA_HOME/typst/packages/local/mini 放了一个符号链接指向包目录，取消 TYPST_PACKAGE_PATH 后直接 typst compile doc.typ doc3.pdf，退出码 0。这条路就是 typst-lab 里 make install 在做的事：往 ~/.local/share/typst/packages/local/ 链一个 xuan，这样你在仓库之外写文档也能 @local/xuan:0.1.0（第 16 篇会用到）。

1
[package]
2
name = "xuan"
3
version = "0.1.0"
4
entrypoint = "lib.typ"
5
compiler = "0.15.0"
6
authors = ["bfmhno3"]
7
license = "MIT OR Apache-2.0"
8
description = "Notes, homework, slides and CV templates for Chinese and English writing"
9

10
[template]
11
path = "template"
12
entrypoint = "main.typ"

1
#import "src/util.typ": ensure-array, pick, plain-text
2
#import "src/fonts.typ": fonts
3
#import "src/cjk.typ": xuan-cjk
4
#import "src/page.typ": title-block, xuan-page
5
#import "src/header.typ": xuan-footer, xuan-header
6
#import "src/theorem.typ": (
7
  corollary, definition, example, lemma, make-env, proof, theorem,
8
)
9
#import "src/base.typ": xuan-base
10
#import "src/note.typ": note

1
#import "cjk.typ": xuan-cjk
2
#import "theorem.typ": theorem-rules
3

4
/// Document-wide defaults: CJK typography, heading numbering and spacing,
5
/// link colour, theorem environments.
6
#let xuan-base(body, lang: "zh", title: none) = {
7
  show: xuan-cjk.with(lang: lang)
8
  set heading(numbering: "1.1")
9
  show heading: set block(above: 1.4em, below: 0.9em)
10
  show heading.where(level: 1): set text(size: 1.4em)
11
  show heading.where(level: 1): set block(above: 1.8em, below: 1em)
12
  show link: set text(fill: rgb("#1f4e9c"))
13
  show: theorem-rules
14
  body
15
}

1
#import "base.typ": xuan-base
2
#import "header.typ": xuan-footer, xuan-header
3
#import "page.typ": title-block, xuan-page
4
#import "util.typ": ensure-array
5

6
/// Notes and reports.
7
#let note(
8
  title: none,
9
  subtitle: none,
10
  author: (),
11
  date: auto,
12
  abstract: none,
13
  keywords: (),
14
  toc: true,
15
  paper: "a4",
16
  lang: "zh",
17
  body,
18
) = {
19
  set document(
20
    title: title,
21
    author: ensure-array(author),
22
    keywords: keywords,
23
  )
24
  show: xuan-page.with(paper: paper)
25
  set page(header: xuan-header(), footer: xuan-footer(lang: lang))
26
  show: xuan-base.with(lang: lang, title: title)
27
  title-block(
28
    title: title,
29
    subtitle: subtitle,
30
    author: author,
31
    date: date,
32
    lang: lang,
33
  )
34
  if abstract != none {
35
    align(center, block(width: 85%, align(left, {
36
      set par(first-line-indent: 0pt)
37
      strong(if lang == "zh" [摘要] else [Abstract])
38
      h(1em)
39
      abstract
40
    })))
41
  }
42
  if toc { outline(title: if lang == "zh" [目录] else [Contents]) }
43
  body
44
}

用起来#

lab/ch04/first-note/main.typ（源文件）：

1
#import "@local/xuan:0.1.0": *
2

3
#show: note.with(
4
  title: "我的第一份笔记",
5
  author: "bfmhno3",
6
  abstract: [用 `xuan` 的 `note` 模板写一页带目录的文档。],
7
  keywords: ("Typst", "笔记"),
8
)
9

10
= 开始
11

12
模板把页边距、字体、标题编号和页眉页脚都收进了一次 `show:`。
13

14
== 小节
15

16
后面的篇章会把这个模板一点点补全。

展开收起

输出 out/ch04/first-note.pdf，1 页：

为了确认“本章检查点”这个说法站得住，我从仓库历史最早的一次提交里取出包（只有本章之前写好的那些文件），放到 /tmp 下，用 --package-path 指过去编译同一份 main.typ，同样 1 页（上面那张图就是这次编译的结果）。你不需要重复这一步：tutorial-v1 标签里的是最终状态，本文里引用的早期版本以文中所列内容为准。它与最终版本的输出相比，pdftotext 只有一处差别：行内代码 show: 和后面句号之间的空格。我猜这来自后面章节给行内代码加的样式，没有去追。

几个常见的坑#

1. 用 set 想改的参数不是 settable。 报错只有一行 unexpected argument，看上面的 not-settable.fail.typ。
2. 想用 show 选“某个标记之后的”元素。 选择器位置关系不能进 show，只能放在 query 里数一数、取出来。query 本身第 7 篇专讲。
3. show X: it => ... it.body 会丢掉元素自己的属性，比如标题编号、strong 的粗体。要么重新拼，要么改用 show X: set ...。
4. 多条 show 转换规则的先后。 后写的在外层。要覆盖就用 set。
5. 标签空格。 *词*<warn> 与 *词* <warn> 不是同一回事。

接下来#

这一篇把 xuan 的骨架立起来了，但 base.typ 里 xuan-cjk 到底设了什么，我只说了“字体和段落规则”。第 5 篇就是它：text 的字体列表、cjk-latin-spacing、par 的首行缩进，以及 Typst 0.15 新增的可变字体 variations。想自己先试的话，从 lab/ch05/ 开始：lab/ch05。