From 0c0e78a5cc1907dda5b896855c51da84956152e4 Mon Sep 17 00:00:00 2001 From: smarttom Date: Fri, 26 Apr 2019 21:39:13 -0400 Subject: [PATCH] Set the CodeMirror-activeline-background and CodeMirror-gutter background-color to jp-layout-color This resolves the CodeMirror ActiveLine highlight issue from issue #6053 --- packages/codemirror/style/index.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/packages/codemirror/style/index.css b/packages/codemirror/style/index.css index 7874fe910ff8..0c66257bbe59 100644 --- a/packages/codemirror/style/index.css +++ b/packages/codemirror/style/index.css @@ -249,3 +249,8 @@ pre.CodeMirror-line { background-position: right; background-repeat: no-repeat; } + +.cm-s-jupyter .CodeMirror-activeline-background, +.cm-s-jupyter .CodeMirror-gutter { + background-color: var(--jp-layout-color2); +}