From 346bd39a3d07b979bb554c7e129ba46f01051e44 Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Sat, 1 Oct 2022 15:29:02 +0200 Subject: [PATCH] Add some left right margins --- packages/notebook-extension/style/base.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/notebook-extension/style/base.css b/packages/notebook-extension/style/base.css index 4407cbb6c..d4640e682 100644 --- a/packages/notebook-extension/style/base.css +++ b/packages/notebook-extension/style/base.css @@ -187,4 +187,6 @@ body[data-notebook='notebooks'] .jp-WindowedPanel-inner { body[data-notebook='notebooks'] .jp-Notebook-cell { background: var(--jp-layout-color0); + padding-left: calc(2 * var(--jp-cell-padding)); + padding-right: calc(2 * var(--jp-cell-padding)); }