From 45ded441420940977f4a03ad1fa65da368ac85be Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Wed, 10 Jan 2024 11:22:32 +0100
Subject: [PATCH] fix: get rid of double <h1> around page titles

---
 src/verso-blog/Verso/Genre/Blog/Generate.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/verso-blog/Verso/Genre/Blog/Generate.lean b/src/verso-blog/Verso/Genre/Blog/Generate.lean
index 54041b1..1fe0087 100644
--- a/src/verso-blog/Verso/Genre/Blog/Generate.lean
+++ b/src/verso-blog/Verso/Genre/Blog/Generate.lean
@@ -52,7 +52,7 @@ namespace Template
 
 namespace Params
 def forPart [BlogGenre g] [GenreHtml g IO] [ToHtml g IO (Part g)] (txt : Part g) : GenerateM Params := do
-  let titleHtml := {{ <h1> {{ ← txt.title.mapM (GenerateM.toHtml g) }} </h1>}}
+  let titleHtml : Html ← txt.title.mapM (GenerateM.toHtml g)
   let preamble ← txt.content.mapM (GenerateM.toHtml g)
   let subParts ← txt.subParts.mapM (GenerateM.toHtml g)
   return ofList [