Merge pull request #91429 from jaqra/fix-search-view-padding

Fix search view 'Toggle Search Detail' padding
microsoft · Mar 2, 2020 · 32beb6c · 32beb6c
2 parents 018b3fe + 04d468b
commit 32beb6c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/vs/workbench/contrib/search/browser/media/searchview.css b/src/vs/workbench/contrib/search/browser/media/searchview.css
@@ -6,6 +6,7 @@
 .search-view .search-widgets-container {
 	margin: 0px 12px 0 2px;
 	padding-top: 6px;
+	padding-bottom: 6px;
 }
 
 .search-view .search-widget .toggle-replace-button {
@@ -132,7 +133,7 @@
 }
 
 .search-view .query-details.more .file-types:last-child {
-	padding-bottom: 10px;
+	padding-bottom: 4px;
 }
 
 .search-view .query-details.more h4 {