github-deploy-action-haz3l-no-ann-reqs-for-recs

hazelgrove · Jan 4, 2024 · 5bd6ab6 · 5bd6ab6
1 parent 5b93661
commit 5bd6ab6
Show file tree

Hide file tree

Showing 3 changed files with 46,349 additions and 44,303 deletions.
diff --git a/haz3l-no-ann-reqs-for-recs/hazel.js b/haz3l-no-ann-reqs-for-recs/hazel.js
diff --git a/haz3l-no-ann-reqs-for-recs/style.css b/haz3l-no-ann-reqs-for-recs/style.css
@@ -178,6 +178,7 @@
     11.2px 22.3px 28.1px -1.8px hsl(var(--shadow-color) / 0.34),
     17px 33.9px 42.7px -2.1px hsl(var(--shadow-color) / 0.34),
     25px 50px 62.9px -2.5px hsl(var(--shadow-color) / 0.34);
+
 }
 
 /* BASE ELEMENTS */
@@ -538,6 +539,7 @@ select {
 }
 
 #mousedown-overlay {
+  cursor: text;
   position: fixed;
   top: 0;
   left: 0;
@@ -722,14 +724,26 @@ select {
   color: var(--string-lit-color);
 }
 
-.code .token.sort-inconsistent {
-  color: var(--nul-text-color) !important;
+.code .token.in-buffer {
+  color:#d7cdb2 !important;
 }
 
+.code .token.sort-inconsistent {
+  /*color: var(--err-color) !important;*/
+  /*TODO(andrew): less shouty for now*/
+  color: #938870 !important;
+}
+
 .code .token.incomplete {
   color: var(--code-emphasis) !important;
 }
 
+.code .token.explicit-hole {
+  color: #ffd04f !important;
+  text-shadow: 1px 1px 0px rgb(45, 34, 6), -0.5px -0.5px 0 #ff9b00;
+}
+
+
 .child-backing {
   z-index: -1;
 }
@@ -742,6 +756,10 @@ svg.tile-selected {
   fill: var(--selection-color);
 }
 
+.tile-path.selected-buffer {
+  fill: #fbf3de;
+}
+
 /* TODO(andrew): hack important */
 .tile-path.raised.selected {
   filter: url(#raised-drop-shadow-Nul) !important;
@@ -1054,6 +1072,7 @@ svg.tile-selected {
   border-radius: 0 1.1em 0 0;
   display: flex;
   gap: 0.5em;
+  color: #0006;
   align-items: center;
   white-space: nowrap;
 }
@@ -1517,6 +1536,7 @@ svg.expandable path {
 }
 
 .result {
+  padding-top: 0.1em;
   min-height: 1.6em;
   width: 100%;
   overflow-y: hidden;
@@ -1548,8 +1568,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;