From c770c71e42249d5619f03a1f545c5bc3e2e79f3d Mon Sep 17 00:00:00 2001 From: HaudinFlorence Date: Wed, 1 Nov 2023 14:33:16 +0100 Subject: [PATCH] Add borders. --- packages/nbdime/src/styles/common.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/nbdime/src/styles/common.css b/packages/nbdime/src/styles/common.css index 31e2aa4d..e1e635d5 100644 --- a/packages/nbdime/src/styles/common.css +++ b/packages/nbdime/src/styles/common.css @@ -88,6 +88,8 @@ vertical-align: top; width: 100%; background-color: var(--jp-cell-editor-background); + border: var(--codemirror-border); + border-radius: 0px; } .nbdime-root .cm-merge-pane-rightmost {