odoc
odoc copied to clipboard
Prefer local fonts over hosted ones
#913 has vendored a lot of fonts. This is great! However, there is still room for improvement: local font fallback. This will prefer the font on the system rather than stress the network downloading a font the user already has. This should be preferred in all cases.