add buttons border

francescospissu · francescospissu · commit 1985ceed72b8 · 2022-08-01T11:12:27.000+02:00
diff --git a/arduino-ide-extension/src/browser/style/index.css b/arduino-ide-extension/src/browser/style/index.css
@@ -144,6 +144,8 @@ button.secondary[disabled], .theia-button.secondary[disabled] {
   outline: 1px dashed var(--theia-focusBorder);
 }
 
-.hc-black.hc-theia.theia-hc .theia-button:focus {
-  outline: 1px solid var(--theia-focusBorder);
+.hc-black.hc-theia.theia-hc button.theia-button,
+.hc-black.hc-theia.theia-hc .theia-button,
+.hc-black.hc-theia.theia-hc button.theia-button.secondary {
+  border: 1px solid var(--theia-button-border);
 }

Original file line number	Diff line number	Diff line change
`@@ -144,6 +144,8 @@ button.secondary[disabled], .theia-button.secondary[disabled] {`
`144`	`144`	`outline: 1px dashed var(--theia-focusBorder);`
`145`	`145`	`}`
`146`	`146`
`147`		`-.hc-black.hc-theia.theia-hc .theia-button:focus {`
`148`		`- outline: 1px solid var(--theia-focusBorder);`
	`147`	`+.hc-black.hc-theia.theia-hc button.theia-button,`
	`148`	`+.hc-black.hc-theia.theia-hc .theia-button,`
	`149`	`+.hc-black.hc-theia.theia-hc button.theia-button.secondary {`
	`150`	`+ border: 1px solid var(--theia-button-border);`
`149`	`151`	`}`