From 153b761c8fab1d1e47cb7c0bbe5cef6d412da610 Mon Sep 17 00:00:00 2001
From: valentin gagarin <valentin.gagarin@tweag.io>
Date: Wed, 13 Nov 2024 15:24:41 +0100
Subject: [PATCH] fix attrs printing

---
 website/presentation/dom.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/presentation/dom.nix b/website/presentation/dom.nix
index c1b0e27c..cb69d2c6 100644
--- a/website/presentation/dom.nix
+++ b/website/presentation/dom.nix
@@ -136,7 +136,7 @@ let
             if isBool value then
               if value then name else ""
             # TODO: some attributes must be explicitly empty
-            else optionalString (toString value != "") ''${name}=${value}''
+            else optionalString (toString value != "") ''${name}="${toString value}"''
           )
           attrs)
       );