Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Eliminate web fonts to decrease file size? #54

Open
dmalan opened this issue Jul 13, 2020 · 2 comments
Open

Eliminate web fonts to decrease file size? #54

dmalan opened this issue Jul 13, 2020 · 2 comments
Labels
enhancement

Comments

@dmalan
Copy link
Member

dmalan commented Jul 13, 2020 •
edited
Loading

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

Jelleas commented Jul 20, 2020

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.

@Jelleas Jelleas added this to the State driven dynamically rendered match view milestone Jul 20, 2020
@Jelleas Jelleas removed the question label Jul 20, 2020
@Jelleas Jelleas removed this from the State driven dynamically rendered match view milestone Jul 20, 2020
@dmalan
Copy link
Member Author

dmalan commented Jul 20, 2020

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dmalan @Jelleas