Fix clipped eval arrow in docs

unisonweb · Oct 3, 2024 · 4c00cd6 · 4c00cd6
1 parent fcc6431
commit 4c00cd6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/css/code/workspace-item.css b/src/css/code/workspace-item.css
@@ -219,4 +219,8 @@
 .workspace-item .workspace-item_inner-content:not(.shown-in-full) .doc-column {
  overflow-y: hidden;
  max-height: 12rem;
+ /* compensate for overlaying evaluation error to avoid it being clipped for
+ * folded docs */
+ padding-left: 0.75rem;
+ margin-left: -0.75rem;
 }