What font is used in theme "grade3"?

dunovank / jupyter-themes

Custom Jupyter Notebook Themes

MIT License

9.76k stars 1.06k forks source link

What font is used in theme "grade3"? #367

Open hilarych opened 4 years ago

hilarych commented 4 years ago

Hi, I really like the font used in the editor of the grade3 theme:

However, I cannot find what font it is.. It seems to point to a "monospace" font-family without specifying the name of the font. I've checked every one of them but none of them seems to be right. Could you let me know what font is that?

Thanks!