From fb3f44e214b5d38d898cf0f6711beccb1e3a28b4 Mon Sep 17 00:00:00 2001 From: reka Date: Wed, 18 Oct 2023 14:55:04 +0200 Subject: [PATCH 1/2] add button-border --- media/ide-styles.css | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/media/ide-styles.css b/media/ide-styles.css index 4c116480..0bfc5a5a 100644 --- 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); -} +} \ No newline at end of file From ef94cb3baf59ff0394b942b68b79049c89555723 Mon Sep 17 00:00:00 2001 From: Hellebore Date: Fri, 8 Dec 2023 16:52:27 +0000 Subject: [PATCH 2/2] fix formatting --- media/ide-styles.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/media/ide-styles.css b/media/ide-styles.css index 0bfc5a5a..f14c4d55 100644 --- a/media/ide-styles.css +++ b/media/ide-styles.css @@ -19,4 +19,4 @@ html { font-size: var(--vscode-font-size); -} \ No newline at end of file +}