From c11bf35cc8f081b7fc763d2afb65b00cc68e8d14 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Fri, 21 Feb 2025 05:42:04 -0500 Subject: [PATCH] Fix misssing indend in html void tag generation --- src/SSG/HTML.idr | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/SSG/HTML.idr b/src/SSG/HTML.idr index 4262e4e..ebfde18 100644 --- a/src/SSG/HTML.idr +++ b/src/SSG/HTML.idr @@ -63,8 +63,8 @@ namespace Html if length attributes > 0 then let attrs = joinBy " " $ map toString attributes - in "<\{type} \{attrs} />" - else "<\{type} />" + in "\{indent}<\{type} \{attrs} />" + else "\{indent}<\{type} />" viewIndented indent_level (Normal type attributes {content_types} contents) = let indent = replicate (indent_level * 2) ' ' in -- Special handling if the tag contains exactly one `Text` element, we won't