From ff63f38535e48cd96572d8b6d2a4c4a69705f3d7 Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Thu, 22 Aug 2024 11:18:40 -0400
Subject: [PATCH] Move stepper buttons back to the right

---
 src/haz3lweb/app/editors/result/Stepper.re | 8 ++++++--
 src/haz3lweb/www/style/dynamics.css        | 4 ++--
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/haz3lweb/app/editors/result/Stepper.re b/src/haz3lweb/app/editors/result/Stepper.re
index d44bcc16d1..6d7cd2a0ea 100644
--- 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
index e8724cc1cd..84cc04f869 100644
--- 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 {