[fix] wrong grid-template-areas css being rendered (#62)

stefan-hoeck · Oct 22, 2023 · 543fa51 · 543fa51
1 parent 42f6d05
commit 543fa51
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Text/CSS/Property.idr b/src/Text/CSS/Property.idr
@@ -65,7 +65,7 @@ namespace Display
       col : Vect (S n) a -> String
       col vs =
         let str := concat . intersperse " " . map showTag $ toList vs
-         in "\{str}"
+         in #""\#{str}""#
 
 namespace FlexBasis
   public export