You can change the styles of your Jupyter laptop by adding values to the file:
.jupyter\custom\custom.css
If dir is customnot in .jupyter, just him and custom.css.
In the new file, custom.cssyou can add something similar to change the font for the code mirror;
.CodeMirror pre, .CodeMirror-dialog, .CodeMirror-dialog .CodeMirror-search-field, .terminal-app .terminal {
font-family: YOUR-FAV-FONT;
font-size: 12pt;
}
custom.css. - repo github. / .