changing the font
ddritzenhoff opened this issue · 1 comments
ddritzenhoff commented
hey, first I just wanted to thank you for porting over this theme!
Is there any procedure in place to change the font? I'm inexperienced with frontend development, so the few attempts I made all failed.
Once I find a solution, I'd also be happy to create a PR to extend the documentation on how to do this.
hanwenguo commented
Sorry for the late reply. Change the monospace in this line of code to the font family you like should be enough :)