adjust margins and paddings

Author: francescospissu

Diff for: arduino-ide-extension/src/browser/style/boards-config-dialog.css

@@ -150,11 +150,11 @@ div#select-board-dialog .selectBoardContainer .body .list .item.selected i {
   color: var(--theia-arduino-toolbar-dropdown-label);
   display: flex;
   gap: 10px;
-  height: 24px;
-  margin: 0 6px;
+  height: 28px;
+  margin: 0 4px;
   overflow: hidden;
   padding: 0 10px;
-  width: 230px;
+  width: 210px;
 }
 
 .arduino-boards-toolbar-item--protocol, 

Diff for: arduino-ide-extension/src/browser/style/main.css

@@ -3,7 +3,8 @@
 }
 
 .p-TabBar-toolbar .item.arduino-tool-item {
-    margin-left: 3px;
+    margin-right: 8px;
+    margin-left: unset;
 }
 
 .p-TabBar-toolbar .item.arduino-tool-item .toggle-serial-monitor,
@@ -95,9 +96,14 @@
 }
 
 .p-TabBar-toolbar.theia-arduino-toolbar {
+    align-items: center;
     z-index: 0;
 }
 
+.p-TabBar-toolbar {
+    margin-right: 12px;
+}
+
 :root {
     --theia-private-menubar-height: 40px; /* set the topbar height */
 }
@@ -113,6 +119,7 @@
 #theia-top-panel .p-TabBar-toolbar.theia-arduino-toolbar.right {
     justify-content: flex-start;
     min-width: 100px;
+    margin-right: 4px;
 }
 
 #theia-top-panel .p-TabBar-toolbar.theia-arduino-toolbar.left {