make taskbar more readable (#3290)

src/sql/base/browser/ui/taskbar/media/taskbar.css

@@ -19,11 +19,13 @@
 .carbon-taskbar {
 	width: 100%;
 	position: relative;
+	padding: 10px 0px 10px 0px;
+	font-size: 12px !important;
 }
 
 .carbon-taskbar.monaco-toolbar .monaco-action-bar.animated .actions-container {
 	justify-content: flex-start;
-	padding: 5px 5px 5px 15px;
+	padding-left: 15px;
 	flex-wrap: wrap;
 }
 
@@ -39,11 +41,6 @@
 	align-items: center;
 }
 
-.carbon-taskbar {
-	margin-top: 2px;
-	margin-bottom: 2px;
-}
-
 .carbon-taskbar .action-item {
 	margin-right: 5px;
 }
@@ -51,12 +48,12 @@
 .carbon-taskbar .action-label {
 	background-repeat: no-repeat;
 	background-position: 0% 50%;
-	padding-left: 15px;
+	padding-left: 20px;
+	font-size: inherit;
  }
 
  .carbon-taskbar .action-item-label {
 	display: flex;
-	font-size:11px;
 	padding-right: 5px;
  }
 
@@ -87,5 +84,5 @@
 /* Taskbar Icons */
 
 .carbon-taskbar .icon {
-	background-size: 11px;
+	background-size: 16px;
 }

src/sql/parts/profiler/editor/profilerEditor.ts

@@ -252,7 +252,6 @@ export class ProfilerEditor extends BaseEditor {
 			{ element: Taskbar.createTaskbarSeparator() },
 			{ element: this._createTextElement(nls.localize('profiler.viewSelectLabel', 'Select View:')) },
 			{ element: viewTemplateContainer },
-			{ element: Taskbar.createTaskbarSeparator() },
 			{ action: this._autoscrollAction },
 			{ action: this._instantiationService.createInstance(Actions.ProfilerClear, Actions.ProfilerClear.ID, Actions.ProfilerClear.LABEL) }
 		]);