Cleanup of dockpanel styling.

src/application/dockpanel.css

@@ -20,10 +20,6 @@
   border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
 }
 
-.p-DockPanel-tabPanel {
-  padding-bottom: 2px;
-  padding-right: 2px;
-}
 
 .p-DockPanel-overlay {
   background: rgba(33, 150, 243, 0.1);
@@ -44,5 +40,5 @@
 
 
 #jp-main-dock-panel {
-  padding: 4px;
+  padding: 5px;
 }

src/application/shell.ts

@@ -112,7 +112,7 @@ class ApplicationShell extends Widget {
     rightHandler.stackedPanel.id = 'jp-right-stack';
 
     hboxPanel.spacing = 0;
-    dockPanel.spacing = 4;
+    dockPanel.spacing = 5;
     hsplitPanel.spacing = 1;
 
     hboxPanel.direction = 'left-to-right';

src/application/tabs.css

@@ -225,8 +225,6 @@
   padding: 0px;
   background: var(--jp-dockpanel-content-background);
   border: var(--jp-border-width) solid #C0C0C0;
-  /* This shadow requires a bottom/right padding on the .p-DockPanel-tabPanel */
-  box-shadow: 1px 1px 2px rgba(0, 0, 0, 0.2);
 }