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 {