From 796d894dd08c082cba1dddf2b97b093c0e5eb5e4 Mon Sep 17 00:00:00 2001 From: Alwinfy <20421383+Alwinfy@users.noreply.github.com> Date: Sat, 21 May 2022 22:06:52 -0400 Subject: [PATCH] Fix spacing around arrows --- doc/collate_data.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/collate_data.py b/doc/collate_data.py index cce33a74..6f28e6c9 100755 --- a/doc/collate_data.py +++ b/doc/collate_data.py @@ -456,7 +456,9 @@ def write_page(out, pageid, page): with out.pair_tag("h4", clazz="pattern-title"): inp = page.get("input", None) or "" oup = page.get("output", None) or "" - out.text(f"{page['name']} ({inp} \u2192 {oup})") + pipe = f"{inp} \u2192 {oup}".strip() + suffix = f" ({pipe})" if inp or oup else "" + out.text(f"{page['name']}{suffix}") if anchor_id: with out.pair_tag("a", href="#" + anchor_id, clazz="permalink small"): out.empty_pair_tag("i", clazz="bi bi-link-45deg")