github-deploy-action-haz3l-exceptions-undefined

hazelgrove · Nov 12, 2023 · 65e39ab · 65e39ab
1 parent 7447611
commit 65e39ab
Show file tree

Hide file tree

Showing 3 changed files with 33,424 additions and 33,408 deletions.
diff --git a/haz3l-exceptions-undefined/hazel.js b/haz3l-exceptions-undefined/hazel.js
diff --git a/haz3l-exceptions-undefined/style.css b/haz3l-exceptions-undefined/style.css
@@ -1517,6 +1517,7 @@ svg.expandable path {
 }
 
 .result {
+  padding-top: 0.1em;
   min-height: 1.6em;
   width: 100%;
   overflow-y: hidden;
@@ -1548,8 +1549,6 @@ svg.expandable path {
 
 .DHCode svg.err-hole {
   fill: #d001;
-  transform: scaleY(0.8);
-  /* HACK(andrew) */
   stroke-dasharray: 1, 1;
   stroke: var(--err-color);
   stroke-width: 1.2px;