Closed lollipopman closed 3 years ago
@monkeyWzr any modifications you would like to this pull request?
@lollipopman Hi there! My apologies for the delay. Thank you very much! (There were one or more changes like #42 that changed CSS files directly. So I was thinking to merge those things into stylus files before this change. My apologies!)
Prior to this change the font-family for code blocks was not set, this meant it was inherited from the user agent stylesheet in the browser. After this change we use the font set in $font-family-mono.