add button-border (#235)

Co-authored-by: Hellebore <[email protected]>
sourcery-ai · Dec 8, 2023 · c5710e4 · c5710e4
1 parent 414be49
commit c5710e4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/media/ide-styles.css b/media/ide-styles.css
@@ -12,6 +12,8 @@
   --ide-border: var(--vscode-panel-border);
   --ide-primary-btn-text: var(--vscode-button-foreground);
   --ide-primary-btn-bg: var(--vscode-button-background);
+  --ide-primary-btn-border: var(--vscode-button-border);
+
   --ide-highlight: orange;
 }