Fix notebook margins

jtpio · jtpio · commit b4a5431ef7dd · 2022-10-01T16:21:21.000+02:00
diff --git 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);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -24,8 +24,8 @@ body[data-notebook='notebooks']`
`24`	`24`	`background: var(--jp-layout-color0) !important;`
`25`	`25`	`}`
`26`	`26`
`27`		`-body[data-notebook='notebooks'] .jp-Notebook > *:first-child,`
`28`		`-body[data-notebook='notebooks'] .jp-WindowedPanel-window > *:first-child {`
	`27`	`+body[data-notebook='notebooks'] .jp-WindowedPanel-window,`
	`28`	`+body[data-notebook='notebooks'] .jp-WindowedPanel-inner {`
`29`	`29`	`margin-top: var(--jp-notebook-toolbar-margin-bottom);`
`30`	`30`	`}`
`31`	`31`