From 19ee7dfd9767cbd89936c76a584fef485830cb5a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Fri, 22 Jul 2022 17:27:35 +0200 Subject: [PATCH] fix: Safari issues reported by Wojciech Nawrocki --- DocGen4/Output/Base.lean | 2 +- DocGen4/Output/Find.lean | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/DocGen4/Output/Base.lean b/DocGen4/Output/Base.lean index eedc683..c68d218 100644 --- a/DocGen4/Output/Base.lean +++ b/DocGen4/Output/Base.lean @@ -224,7 +224,7 @@ def baseHtmlHeadDeclarations : BaseHtmlM (Array Html) := do , , , - + ] end DocGen4.Output diff --git a/DocGen4/Output/Find.lean b/DocGen4/Output/Find.lean index 3c987a3..d0f171c 100644 --- a/DocGen4/Output/Find.lean +++ b/DocGen4/Output/Find.lean @@ -10,7 +10,7 @@ def find : BaseHtmlM Html := do pure - +