From b4a5431ef7dddbc64a957f787040d3da4e246f3b Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Sat, 1 Oct 2022 16:21:21 +0200
Subject: [PATCH] Fix notebook margins

---
 packages/notebook-extension/style/base.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/notebook-extension/style/base.css b/packages/notebook-extension/style/base.css
index d4640e682..3cc6f38a5 100644
--- a/packages/notebook-extension/style/base.css
+++ b/packages/notebook-extension/style/base.css
@@ -24,8 +24,8 @@ body[data-notebook='notebooks']
   background: var(--jp-layout-color0) !important;
 }
 
-body[data-notebook='notebooks'] .jp-Notebook > *:first-child,
-body[data-notebook='notebooks'] .jp-WindowedPanel-window > *:first-child {
+body[data-notebook='notebooks'] .jp-WindowedPanel-window,
+body[data-notebook='notebooks'] .jp-WindowedPanel-inner {
   margin-top: var(--jp-notebook-toolbar-margin-bottom);
 }