From c5710e413f3d000ee0beecd28aa1f5ac57f54bd3 Mon Sep 17 00:00:00 2001 From: reka <382113+reka@users.noreply.github.com> Date: Fri, 8 Dec 2023 17:53:55 +0100 Subject: [PATCH] add button-border (#235) Co-authored-by: Hellebore --- media/ide-styles.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/media/ide-styles.css b/media/ide-styles.css index 4c116480..f14c4d55 100644 --- 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; }