Fix border color

jtpio · jtpio · commit 46cff7825735 · 2021-11-11T23:38:14.000+01:00
diff --git a/packages/notebook-extension/style/base.css b/packages/notebook-extension/style/base.css
@@ -132,7 +132,7 @@ body[data-retro='notebooks'] .jp-Notebook.jp-mod-scrollPastEnd::after {
   color: var(--jp-ui-font-color1);
   margin-top: 4px;
   margin-bottom: 4px;
-  border: solid grey 1px;
+  border: solid 1px var(--jp-border-color2);
   cursor: help;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,7 @@ body[data-retro='notebooks'] .jp-Notebook.jp-mod-scrollPastEnd::after {`
`132`	`132`	`color: var(--jp-ui-font-color1);`
`133`	`133`	`margin-top: 4px;`
`134`	`134`	`margin-bottom: 4px;`
`135`		`- border: solid grey 1px;`
	`135`	`+ border: solid 1px var(--jp-border-color2);`
`136`	`136`	`cursor: help;`
`137`	`137`	`}`
`138`	`138`