Fix stepped underline

hazelgrove · Nov 15, 2024 · 8e90861 · 8e90861
1 parent 348b33c
commit 8e90861
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git 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
@@ -215,21 +215,25 @@
 
 .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);
 }
 
 .child-line.Exp.next-step-line {
   stroke: var(--G2);
 }
 
+.child-line.Exp.taken-step-line {
+  stroke: var(--BR1);
+}
+
 .taken-step-line {
   stroke: var(--BR1);
 }