Move stepper buttons back to the right

hazelgrove · Aug 22, 2024 · ff63f38 · ff63f38
1 parent c05ab52
commit ff63f38
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/src/haz3lweb/app/editors/result/Stepper.re b/src/haz3lweb/app/editors/result/Stepper.re
@@ -338,7 +338,9 @@ module View = {
                        editor: a.editor,
                        step_id: Some(b.step.d_loc |> Exp.rep_id),
                      },
-                   ),
+                   )
+                   |> (x => [x])
+                   |> Web.div_c("result"),
                    div(
                      ~attrs=[Attr.classes(["stepper-justification"])],
                      [
@@ -378,7 +380,9 @@ module View = {
                       model.next_steps,
                     ),
                 },
-              ),
+              )
+              |> (x => [x])
+              |> Web.div_c("result"),
             ]
           | PendingStep => [
               div(~attrs=[Attr.class_("cell-item")], [text("...")]),

diff --git a/src/haz3lweb/www/style/dynamics.css b/src/haz3lweb/www/style/dynamics.css
@@ -226,8 +226,8 @@
   fill: var(--BR1);
 }
 
-.next-step-line {
-  stroke: var(--G1);
+.child-line.Exp.next-step-line {
+  stroke: var(--G2);
 }
 
 .taken-step-line {