|
@@ -265,7 +265,7 @@ all of MD as it is not optimized for dense, information rich UIs.
|
|
|
--jp-cell-editor-active-border-color: var(--jp-brand-color1);
|
|
|
|
|
|
--jp-cell-prompt-width: 64px;
|
|
|
- --jp-cell-prompt-font-family: 'Source Code Pro', monospace;
|
|
|
+ --jp-cell-prompt-font-family: var(--jp-code-font-family-default);
|
|
|
--jp-cell-prompt-letter-spacing: 0px;
|
|
|
--jp-cell-prompt-opacity: 1;
|
|
|
--jp-cell-prompt-not-active-opacity: 0.5;
|