From ff46b7937a2e221d38627cc33d7d39ed2925dab1 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sun, 23 Jul 2023 03:29:19 +0200 Subject: [PATCH] Bulma: strong --- src/Bulma.purs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Bulma.purs b/src/Bulma.purs index d888373..689fdb8 100644 --- a/src/Bulma.purs +++ b/src/Bulma.purs @@ -473,6 +473,9 @@ modal_domain_delete domain = , HH.text "." ] +strong :: forall w i. String -> HH.HTML w i +strong str = HH.strong_ [ HH.text str ] + hr :: forall w i. HH.HTML w i hr = HH.hr_