Updated themes (arduino#1145)

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: github-actions[bot]

arduino-ide-extension/src/browser/data/default.color-theme.json

@@ -22,7 +22,7 @@
     "menu.selectionBackground": "#dae3e3",
     "menu.selectionForeground": "#212121",
     "editorGroupHeader.tabsBackground": "#ecf1f1",
-    "button.background": "#008184",
+    "button.background": "#7fcbcd",
     "button.foreground": "#f7f9f9",
     "button.hoverBackground": "#005C5F",
     "titleBar.activeBackground": "#006d70",