add basic unmolded styling

hazelgrove · Sep 30, 2024 · 802ddd5 · 802ddd5
1 parent 63d3ee1
commit 802ddd5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/src/web/style.css b/src/web/style.css
@@ -33,6 +33,7 @@
   --selection-shadow-color: rosybrown;
 
   --hole-stroke-color: #dc322f;
+  --unmolded-color: #dc322f;
 
   --exp-bg-color: #ebdfc5; /*#dbf6de;*/
   --exp-shadow-color: #c4b599;/*#329f43;*/
@@ -99,6 +100,11 @@
   opacity: 40%;
 }
 
+.unmolded {
+  opacity: 40%;
+  color: var(--unmolded-color);
+}
+
 .tile.match {
   font-weight: bold;
 }

diff --git a/src/web/view/Text.re b/src/web/view/Text.re
@@ -25,7 +25,8 @@ let view_tok = (tok: Token.t) => {
   let mtrl_clss =
     switch (tok.mtrl) {
     // todo: distinguish whitespace from unmolded styling
-    | Space(_) => ["space"]
+    | Space(White(_)) => ["space"]
+    | Space(Unmolded) => ["unmolded"]
     | Grout(_) => ["grout"]
     | Tile((_, mold)) =>
       Mold.(t_nullable(~side=L, mold) && t_nullable(~side=R, mold))