Open jtpio opened 1 year ago
For reference the JupyterLab Dark theme uses the following:
--jp-ui-font-family: system-ui, -apple-system, blinkmacsystemfont, 'Segoe UI',
helvetica, arial, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji',
'Segoe UI Symbol';
Currently only the JetBrains font seems to be used:
https://github.com/martinRenou/jupyterlab-night/blob/3116906962f73e389b0d89fd6f199a485b2dcb71/style/variables.css#L124
Currently this is what it looks like:
Ideally the theme would use a more "neutral" font like the default light and dark themes, or allow for other system fonts to be picked up. Which would look like this: