fixed build failure

hazelgrove · Aug 17, 2024 · 229b969 · 229b969
1 parent 887fa6c
commit 229b969
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/src/haz3lweb/view/Page.re b/src/haz3lweb/view/Page.re
@@ -175,11 +175,10 @@ let get_selection = (model: Model.t): string =>
 
 let view = (~inject: UpdateAction.t => Ui_effect.t(unit), model: Model.t) =>
   div(
-    ~attrs=
-      Attr.[
-        id("page"),
-        ...handlers(~inject, Editors.get_editor(model.editors), model),
-      ],
+    ~attrs=[
+      Attr.id("page"),
+      ...handlers(~inject, Editors.get_editor(model.editors), model),
+    ],
     [
       FontSpecimen.view("font-specimen"),
       DecUtil.filters,

diff --git a/src/haz3lweb/www/style.css b/src/haz3lweb/www/style.css
@@ -2610,7 +2610,7 @@ svg.expandable path {
 .em {
   font-style: italic;
 }
-
+ç
 ninja-keys {
   --ninja-text-color: var(--light-text-color);
   --ninja-accent-color: var(--selection-shadow-color);