Merge pull request #257 from jtpio/box-shadow

Add drop shadows to headers
jupyterlab · Dec 6, 2019 · 56a5065 · 56a5065
2 parents fe17f80 + 49ed1f6
commit 56a5065
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/style/sidebar.css b/style/sidebar.css
@@ -15,6 +15,7 @@
 .jp-DebuggerSidebar > div > header {
   border-bottom: solid var(--jp-border-width) var(--jp-border-color1);
   border-top: solid var(--jp-border-width) var(--jp-border-color1);
+  box-shadow: var(--jp-toolbar-box-shadow);
   display: flex;
   flex-direction: row;
   align-items: center;