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.

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

Missing editor fonts #176

Open
j4k0xb opened this issue May 29, 2024 · 0 comments
Open

Missing editor fonts #176

j4k0xb opened this issue May 29, 2024 · 0 comments

Comments

@j4k0xb
Copy link

j4k0xb commented May 29, 2024

Related: #165 (comment)

There's a font-family: Menlo, Monaco, "Courier New", monospace, "Droid Sans Mono", "monospace", monospace style but Menlo and Monaco aren't installed on all systems (Linux Manjaro, Brave browser).
Instead it tries the next one, which happens to be this thin/unreadable Courier New font:
image
image

I suggest including Menlo in the assets (or load from a cdn) so it will look like this for everyone:
image
Or remove the custom fonts altogether (defaults to "Droid Sans Mono", "monospace", monospace), which is equally readable:
image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant