#52810 - Tweak settings editor header padding

04cda435 · Rob Lourens · d88b3dd5 · 04cda435
隐藏空白更改
内联并排

Showing with 2 addition and 2 deletion

src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css ...bench/parts/preferences/browser/media/settingsEditor2.css +2 -2

未找到文件。
--- a/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css
+++ b/src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css
@@ -35,7 +35,7 @@

 .settings-editor > .settings-header > .settings-advanced-customization {
 	opacity: .7;
-	margin-top: 10px;
+	margin-top: 8px;
 }

 .settings-editor > .settings-header > .settings-preview-header > .settings-preview-warning {
@@ -67,7 +67,7 @@
 }

 .settings-editor > .settings-header > .settings-header-controls {
-	margin-top: 2px;
+	margin-top: 3px;
 	height: 30px;
 	display: flex;
 }