|
|
@@ -262,12 +262,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
--jp-cell-editor-background: var(--jp-layout-color1);
|
|
|
--jp-cell-editor-border-color: var(--md-grey-700);
|
|
|
--jp-cell-editor-box-shadow: inset 0 0 2px var(--md-blue-300);
|
|
|
- --jp-cell-editor-active-background: rgba(
|
|
|
- 33,
|
|
|
- 33,
|
|
|
- 33,
|
|
|
- 1
|
|
|
- ); /*var(--jp-layout-color0);*/
|
|
|
+ --jp-cell-editor-active-background: var(--jp-layout-color0);
|
|
|
--jp-cell-editor-active-border-color: var(--jp-brand-color1);
|
|
|
|
|
|
--jp-cell-prompt-width: 64px;
|
|
|
@@ -335,12 +330,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
|
|
|
/* General editor styles */
|
|
|
|
|
|
- --jp-editor-selected-background: rgba(
|
|
|
- 33,
|
|
|
- 66,
|
|
|
- 131,
|
|
|
- 0.5
|
|
|
- ); /*var(--jp-layout-color2);*/
|
|
|
+ --jp-editor-selected-background: var(--jp-layout-color2);
|
|
|
--jp-editor-selected-focused-background: rgba(33, 150, 243, 0.24);
|
|
|
--jp-editor-cursor-color: var(--jp-ui-font-color0);
|
|
|
|
telamonian