github-deploy-action-haz3l-case-exhaustiveness

hazelgrove · Apr 14, 2024 · 0d8601d · 0d8601d
1 parent f30e131
commit 0d8601d
Show file tree

Hide file tree

Showing 3 changed files with 32,162 additions and 31,702 deletions.
diff --git a/haz3l-case-exhaustiveness/hazel.js b/haz3l-case-exhaustiveness/hazel.js
diff --git a/haz3l-case-exhaustiveness/style.css b/haz3l-case-exhaustiveness/style.css
@@ -1738,7 +1738,6 @@ svg.expandable path {
   gap: 0.5em;
   color: #7a6219;
   border-top: 1px dotted #d2c7ad;
-  border-radius: 0 0 0.4em 0.4em;
   padding: 0.5em;
   padding-left: 1.2em;
 }
@@ -1783,8 +1782,8 @@ svg.expandable path {
   padding-top: 0.1em;
   min-height: 1.6em;
   width: 100%;
-  overflow-y: hidden;
-  overflow-x: auto;
+  /* overflow-y: hidden;
+  overflow-x: auto; */
   transition: opacity 0.2s linear;
 }
 .cell-result .result.pending {
@@ -1800,9 +1799,16 @@ svg.expandable path {
   padding: 0.1em 0.4em 0.1em 0.4em;
 }
 
+.cell-result.hidden {
+  background-color: #E8DCBF;
+}
+
 .cell-result .toggle-switch {
   mix-blend-mode: luminosity;
 }
+.cell-result .equiv {
+  font-family: 'Source Code Pro';
+}
 
 .cell-report {
   padding: 1.2em;
@@ -1814,6 +1820,9 @@ svg.expandable path {
   border-left: 1px solid var(--cell-selected-accent);
 }
 
+.result {
+  width: 100%;
+}
 .cell.deselected + .cell-item {
   border-left: 1px solid var(--top_bar_icon_fill);
 }
@@ -1865,6 +1874,7 @@ svg.expandable path {
 
 .DHCode .decoration-container {
   position: absolute;
+  pointer-events: none;
 }
 
 .DHCode svg.err-hole {
@@ -1876,8 +1886,6 @@ svg.expandable path {
 }
 
 .DHCode .InVarHole {
-  border: 1px dotted var(--err-color);
-  border-radius: 0.2em;
   color: var(--err-color);
 }
 
@@ -2263,17 +2271,15 @@ svg.expandable path {
 
 .steppable,
 .steppable *:not(.DHCode .EmptyHole *, .DHCode .EmptyHole) {
-  border: 1px var(--step-hole-color);
+  outline: 1px var(--step-hole-color);
   background-color: rgb(232, 255, 196);
-  margin: -1px;
   cursor: pointer;
 }
 
 .stepped,
 .stepped *:not(.DHCode .EmptyHole *, .DHCode .EmptyHole) {
   border: 1px var(--step-hole-color);
   background-color: #ddcda3;
-  margin: -1px;
 }
 
 .substituted {