From 84af717ce718506074b4668649025cfb973b8be7 Mon Sep 17 00:00:00 2001 From: servostar Date: Mon, 25 Nov 2024 10:31:47 +0100 Subject: [PATCH] style: run formatter --- src/glossarium.typ | 81 ++++++++++++++++++++++++---------------------- 1 file changed, 42 insertions(+), 39 deletions(-) diff --git a/src/glossarium.typ b/src/glossarium.typ index 2da8c9d..9db2172 100644 --- a/src/glossarium.typ +++ b/src/glossarium.typ @@ -200,46 +200,49 @@ SOFTWARE.*/ #block( below: 1.5em, width: 100%, - par(hanging-indent: 1em, align(left)[ - #text(weight: "bold", entry.short) - #if hasLong and hasDesc [ - (#text(entry.long)) - ] else if hasLong { - text(entry.long) - } - #if hasDesc [ #sym.dash.en ] - #if hasDesc [ #desc ] - #if disable-back-references != true { - term_references - .map(x => x.location()) - .sorted(key: x => x.page()) - .fold( - (values: (), pages: ()), - ((values, pages), x) => if pages.contains( - x.page(), - ) { - (values: values, pages: pages) - } else { - values.push(x) - pages.push(x.page()) - (values: values, pages: pages) - }, - ) - .values - .map(x => { - let page-numbering = x.page-numbering() - if page-numbering == none { - page-numbering = "1" + par( + hanging-indent: 1em, + align(left)[ + #text(weight: "bold", entry.short) + #if hasLong and hasDesc [ + (#text(entry.long)) + ] else if hasLong { + text(entry.long) + } + #if hasDesc [ #sym.dash.en ] + #if hasDesc [ #desc ] + #if disable-back-references != true { + term_references + .map(x => x.location()) + .sorted(key: x => x.page()) + .fold( + (values: (), pages: ()), + ((values, pages), x) => if pages.contains( + x.page(), + ) { + (values: values, pages: pages) + } else { + values.push(x) + pages.push(x.page()) + (values: values, pages: pages) + }, + ) + .values + .map(x => { + let page-numbering = x.page-numbering() + if page-numbering == none { + page-numbering = "1" + } + link(x)[#numbering( + page-numbering, + ..counter(page).at(x), + )] } - link(x)[#numbering( - page-numbering, - ..counter(page).at(x), - )] - } - ) - .join(", ") - } - ]), + ) + .join(", ") + } + ], + ), ) ] }