From d4aa88f7591a5f77056cce750bc342fb0a91966d Mon Sep 17 00:00:00 2001 From: valentin gagarin Date: Wed, 13 Nov 2024 15:24:41 +0100 Subject: [PATCH] fix indentation in output --- website/presentation/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/presentation/default.nix b/website/presentation/default.nix index 6638081..1b24b7e 100644 --- a/website/presentation/default.nix +++ b/website/presentation/default.nix @@ -53,7 +53,7 @@ in render-item = item: if item ? menu then ''
  • ${item.menu.label} - ${lib.indent " " (item.menu.outputs.html page)} + ${lib.indent " " (item.menu.outputs.html page)}
  • '' else if item ? page then ''
  • ${item.page.title}
  • ''