Eliminate web fonts to decrease file size?

[dmalan]

Is it necessary to embed, e.g., Proxima-Nova and Consolas rather than just rely on browser's built-in fonts?

[Jelleas]

Current thinking is that the views should look the same, no matter the machine / internet connection. But it's probably a good idea to use commonly available (web safe) fonts like Roboto. That said, unsure on what font to use for monospace though.

[dmalan]

If the HTML files are to be rendered client-side, though, not sure it matters if there are slight font differences? Seems the lesser evil of adding bulk to every HTML file?