Browse Source

Fixing layout of file browser UI controls.

Brian E. Granger 4 years ago
parent
commit
538a45c177
1 changed files with 24 additions and 17 deletions
  1. 24 17
      packages/filebrowser/style/base.css

+ 24 - 17
packages/filebrowser/style/base.css

@@ -36,7 +36,7 @@
 
 .jp-BreadCrumbs {
   flex: 0 0 auto;
-  margin: 4px 12px;
+  margin: 8px 12px 8px 12px;
 }
 
 .jp-BreadCrumbs-item {
@@ -65,6 +65,7 @@
 
 .jp-FileBrowser-toolbar.jp-Toolbar {
   padding: 0px;
+  margin: 8px 12px 0px 12px;
 }
 
 .jp-FileBrowser-toolbar.jp-Toolbar {
@@ -79,6 +80,28 @@
   width: 100%;
 }
 
+/*-----------------------------------------------------------------------------
+| Other styles
+|----------------------------------------------------------------------------*/
+
+.jp-FileDialog.jp-mod-conflict input {
+  color: red;
+}
+
+.jp-FileDialog .jp-new-name-title {
+  margin-top: 12px;
+}
+
+.jp-LastModified-hidden {
+  display: none;
+}
+
+.jp-FileBrowser-filterBox {
+  padding: 0px;
+  flex: 0 0 auto;
+  margin: 8px 12px 0px 12px;
+}
+
 /*-----------------------------------------------------------------------------
 | DirListing
 |----------------------------------------------------------------------------*/
@@ -238,19 +261,3 @@
   min-height: 120px;
   outline: none;
 }
-
-.jp-FileDialog.jp-mod-conflict input {
-  color: red;
-}
-
-.jp-FileDialog .jp-new-name-title {
-  margin-top: 12px;
-}
-
-.jp-LastModified-hidden {
-  display: none;
-}
-
-.jp-FileBrowser-filterBox {
-  padding: 4px;
-}