Parcourir la source

Merge pull request #6654 from jasongrout/settings-alignment

Adjust settings toolbar alignment
Brian E. Granger il y a 5 ans
Parent
commit
f81ece98d5
1 fichiers modifiés avec 2 ajouts et 1 suppressions
  1. 2 1
      packages/settingeditor/style/base.css

+ 2 - 1
packages/settingeditor/style/base.css

@@ -130,7 +130,8 @@
 }
 
 #setting-editor .jp-SettingsRawEditor .jp-Toolbar-item {
-  margin-top: 2px;
+  margin-top: 1px;
+  align-items: center;
 }
 
 .jp-ToolbarButtonComponent-label