Work on styling of file browser and command palette.

src/default-theme/commandpalette.css

@@ -20,7 +20,7 @@
   margin: 4px;
   background: white;
   border: 1px solid #E0E0E0;
-  border-radius: 4px;
+  border-radius: 1px;
 }
 
 
@@ -28,12 +28,13 @@
   width: 100%;
   outline: none;
   border: none;
+  font-size: 13px;
 }
 
 
 .p-CommandPalette-header {
   margin: 4px 0px;
-  padding: 4px 2px;
+  padding: 4px 12px;
   font-size: 11px;
   font-weight: 500;
   text-transform: capitalize;
@@ -42,8 +43,8 @@
 
 
 .p-CommandPalette-command {
-  padding: 4px 12px 4px 12px;
-  font-size: 14px;
+  padding: 4px 12px;
+  font-size: 13px;
   font-weight: 500;
 }
 
@@ -58,7 +59,6 @@
 .p-CommandPalette-header:hover:not(.p-mod-active),
 .p-CommandPalette-command:hover:not(.p-mod-active) {
   background: #EEEEEE;
-  border-radius: 2px;
 }
 
 
@@ -66,7 +66,6 @@
 .p-CommandPalette-command.p-mod-active {
   color: white;
   background: #F27624;
-  border-radius: 2px;
 }
 
 

src/filebrowser/theme.css

@@ -70,24 +70,11 @@
 }
 
 
-.jp-FileButtons-button.jp-id-create {
-  border-top-left-radius: 4px;
-  border-bottom-left-radius: 4px;
-}
-
-
 .jp-FileButtons-button.jp-id-upload {
   margin-left: -1px; /* overlap borders */
 }
 
 
-.jp-FileButtons-button.jp-id-refresh {
-  margin-left: -1px; /* overlap borders */
-  border-top-right-radius: 4px;
-  border-bottom-right-radius: 4px;
-}
-
-
 .jp-DirListing {
   outline: 0;
 }
@@ -108,7 +95,6 @@
 
 .jp-DirListing-headerItem:hover {
   background: #EEEEEE;
-  border-radius: 2px;
 }
 
 
@@ -143,20 +129,19 @@
 
 
 /* increase specificity to override bundled default */
-.jp-DirListing > .jp-DirListing-content {
-  padding: 0px 8px;
-}
+/*.jp-DirListing > .jp-DirListing-content {
+  padding: 0px;
+}*/
 
 
 .jp-DirListing-item {
-  padding: 4px;
+  padding: 4px 12px;
 }
 
 
 .jp-DirListing-item.jp-mod-selected {
   color: white;
   background: #F27624;
-  border-radius: 1px;
 }