Closed Piterden closed 6 years ago
The HTML output should use whatever your browser's default monospace font is. So just set your browser to use the font you want.
Depending on your system, that may rely on the configuration at ~/.config/fontconfig/fonts.conf
.
There's now an example fontconfig file (which is used by the current deployment) at app/.fontconfig/fonts.conf.
If we use HTML why don't make it able to select a font for render?