From 8e90861acd60774fa35b423434faf1a16d109c15 Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Fri, 15 Nov 2024 11:21:14 -0500
Subject: [PATCH] Fix stepped underline

---
 src/haz3lweb/app/editors/decoration/Deco.re | 2 +-
 src/haz3lweb/www/style/dynamics.css         | 8 ++++++--
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/haz3lweb/app/editors/decoration/Deco.re b/src/haz3lweb/app/editors/decoration/Deco.re
index 56b019b6f0..313a2112e7 100644
--- a/src/haz3lweb/app/editors/decoration/Deco.re
+++ b/src/haz3lweb/app/editors/decoration/Deco.re
@@ -538,7 +538,7 @@ module Deco =
         };
         PieceDec.indicated(
           ~base_clss="tile-taken-step",
-          ~line_clss=["next-step-line"],
+          ~line_clss=["taken-step-line"],
           ~font_metrics,
           ~caret=(Id.invalid, 0),
           ~rows=measured.rows,
diff --git a/src/haz3lweb/www/style/dynamics.css b/src/haz3lweb/www/style/dynamics.css
index 84cc04f869..fc3ebceb79 100644
--- a/src/haz3lweb/www/style/dynamics.css
+++ b/src/haz3lweb/www/style/dynamics.css
@@ -215,14 +215,14 @@
 
 .tile-next-step path,
 .tile-next-step path *:not(.DHCode .EmptyHole *, .DHCode .EmptyHole) {
-  outline: 1px var(--step-hole-color);
+  border: 1px var(--G1);
   fill: var(--G1);
   cursor: pointer;
 }
 
 .tile-taken-step path,
 .tile-taken-step path *:not(.DHCode .EmptyHole *, .DHCode .EmptyHole) {
-  border: 1px var(--step-hole-color);
+  border: 1px var(--BR1);
   fill: var(--BR1);
 }
 
@@ -230,6 +230,10 @@
   stroke: var(--G2);
 }
 
+.child-line.Exp.taken-step-line {
+  stroke: var(--BR1);
+}
+
 .taken-step-line {
   stroke: var(--BR1);
 }