fix(desktop): restore Windows top border

This commit is contained in:
zipg authored and GitHub committed 2026-07-08 22:51:33 +08:00
1 parent 1b13d2176b
commit 08067320f8
4 files changed
+32 -2

No files matched your search

+18
View File
@@ -119,6 +119,7 @@
--sidebar-accent-foreground: rgb(23 23 23);
--sidebar-border: rgb(229 229 229);
--sidebar-ring: rgb(161 161 161);
--dbx-window-top-border: rgb(0 0 0 / 0.35);
}
.dark {
@@ -154,6 +155,7 @@
--sidebar-accent-foreground: rgb(221 221 226);
--sidebar-border: rgb(110 110 114 / 0.28);
--sidebar-ring: rgb(133 134 139);
--dbx-window-top-border: rgb(255 255 255 / 0.18);
}
html.theme-soft {
@@ -1314,6 +1316,22 @@ body.dbx-table-reference-dragging * {
}
}
.dbx-desktop-window-frame {
position: relative;
}
.dbx-desktop-window-frame::before {
content: "";
position: absolute;
z-index: 80;
top: 0;
right: 0;
left: 0;
height: 1px;
pointer-events: none;
background: var(--dbx-window-top-border);
}
.dbx-editor-font-family {
font-family: var(--dbx-editor-font-family, var(--font-mono, monospace));
}