🐛 Fix problem with menu colors

2026-03-23 11:50:49 +01:00 · 2023-12-13 15:24:27 +01:00
parent 625f99c933
commit 4832b718da
5 changed files with 9 additions and 3 deletions
--- a/frontend/src/app/main/ui/workspace/left_header.scss
+++ b/frontend/src/app/main/ui/workspace/left_header.scss
@@ -93,7 +93,9 @@
      cursor: pointer;
    }
    .separator {
-      height: $s-12;
+      margin-top: $s-8;
+      height: $s-4;
+      border-top: 1px solid $db-secondary;
    }
    .shortcut {
      @extend .shortcut;