From 8dd92619e37590e6589112aea2e2b3a7ff9c72ef Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Fri, 4 Dec 2020 18:36:44 +0100
Subject: [PATCH] Add some padding to the top area

---
 packages/application/style/base.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages/application/style/base.css b/packages/application/style/base.css
index 7fe407a08..4f1c9e968 100644
--- 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 {