[UX]: Fixed button styles with the HC theme.

Signed-off-by: Akos Kitta <[email protected]>

Author: Akos Kitta

Diff for: 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 for: 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);
+}