From a7f4937f9ec827754fe46b3933d604fbfdc6ffa1 Mon Sep 17 00:00:00 2001 From: Sven Vogel Date: Thu, 11 Jul 2024 14:58:18 +0200 Subject: [PATCH] fixed wrong header title being used --- src/style.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/style.typ b/src/style.typ index 9267244..cb39f26 100644 --- a/src/style.typ +++ b/src/style.typ @@ -141,7 +141,7 @@ if headers-before.len() > 0 { header-title = headers-before.last().body } else { - let headers-after = query(selector(heading.where(numbering: "1.", level: 1)).after(here())) + let headers-after = query(selector(heading.where(numbering: "1.1.1", level: 1)).after(here())) if headers-after.len() > 0 { header-title = headers-after.first().body