github-deploy-action-haz3l-case-advanced-ui

hazelgrove · Oct 23, 2023 · 84c3afc · 84c3afc
1 parent 204b089
commit 84c3afc
Show file tree

Hide file tree

Showing 2 changed files with 1,938 additions and 1,928 deletions.
diff --git a/haz3l-case-advanced-ui/hazel.js b/haz3l-case-advanced-ui/hazel.js
diff --git a/haz3l-case-advanced-ui/style.css b/haz3l-case-advanced-ui/style.css
@@ -1562,6 +1562,11 @@ svg.expandable path {
   color: var(--err-color)
 }
 
+.DHCode .MismatchedRuleDecoration {
+  text-decoration: line-through;
+  opacity: 0.5;
+}
+
 .DHCode .EmptyHole {
   background-color: #ac9a6a;
   border-radius: 0.2em;