Add some padding to the top area

5 years ago · 8dd92619e3
parent 81291ac43a
commit 8dd92619e3
1 changed files with 2 additions and 0 deletions
--- a/packages/application/style/base.css
+++ b/packages/application/style/base.css
@ -25,6 +25,8 @@ body {
  border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  background: var(--jp-layout-color1);
  min-height: calc(1.5 * var(--jp-private-menubar-height));
+  padding-left: 5px;
+  padding-right: 5px;
 }

 #menu-panel {