show full doc with correct left margin

unisonweb · Mar 6, 2024 · a16ef20 · a16ef20
1 parent ff47168
commit a16ef20
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/css/code/workspace-item.css b/src/css/code/workspace-item.css
@@ -176,11 +176,11 @@
 .workspace-item .show-full-doc:before {
   position: absolute;
   content: " ";
-  top: -1rem;
+  top: -1.5rem;
   left: 0;
   right: 0;
-  height: 1rem;
-  background: linear-gradient(transparent, var(--color-workspace-item-bg));
+  height: 1.5rem;
+  background: linear-gradient(transparent, var(--color-workspace-item-bg), var(--color-workspace-item-bg));
 }
 
 .workspace-item .workspace-item_inner-content:not(.shown-in-full) .doc-column {