From 39b8a602c7f990a90bd5b5012158e8ff08d9c63b Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Fri, 5 Feb 2021 15:56:09 +0100 Subject: [PATCH] [UX]: Fixed button styles with the HC theme. Signed-off-by: Akos Kitta --- .../browser/style/boards-config-dialog.css | 12 --------- .../src/browser/style/index.css | 25 +++++++++++++++++++ 2 files changed, 25 insertions(+), 12 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/boards-config-dialog.css b/arduino-ide-extension/src/browser/style/boards-config-dialog.css index 7b15af3b..04f3d341 100644 --- a/arduino-ide-extension/src/browser/style/boards-config-dialog.css +++ b/arduino-ide-extension/src/browser/style/boards-config-dialog.css @@ -135,18 +135,6 @@ div#select-board-dialog .selectBoardContainer .body .list .item.selected i { width: 740px; } -button.theia-button { - height: 31px; -} - -button.theia-button.secondary { - background-color: var(--theia-secondaryButton-background); - color: var(--theia-foreground); -} - -button.theia-button.main { - color: var(--theia-button-foreground); -} .dialogControl { margin: 0 20px 30px 0; diff --git a/arduino-ide-extension/src/browser/style/index.css b/arduino-ide-extension/src/browser/style/index.css index b44b7912..051eac11 100644 --- a/arduino-ide-extension/src/browser/style/index.css +++ b/arduino-ide-extension/src/browser/style/index.css @@ -36,3 +36,28 @@ color: var(--theia-warningForeground); background-color: var(--theia-warningBackground); } + +/* Overrule the default Theia CSS button styles. */ + +button.theia-button, +.theia-button { + border: 1px solid var(--theia-dropdown-border); +} + +button.theia-button:hover, +.theia-button:hover { + border: 1px solid var(--theia-focusBorder); +} + +button.theia-button { + height: 31px; +} + +button.theia-button.secondary { + background-color: var(--theia-secondaryButton-background); + color: var(--theia-foreground); +} + +button.theia-button.main { + color: var(--theia-button-foreground); +}