add button-border

sourcery-ai · Oct 18, 2023 · 0eab683 · 0eab683
1 parent 7e530b3
commit 0eab683
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/media/ide-styles.css b/media/ide-styles.css
@@ -12,9 +12,11 @@
   --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;
 }
 
 html {
   font-size: var(--vscode-font-size);
-}
+}