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

We should switch the font for course numbers to have a dotted/slashed zero #6766

Open
hawkrives opened this issue Jan 22, 2023 · 3 comments
Open

We should switch the font for course numbers to have a dotted/slashed zero #6766

hawkrives opened this issue Jan 22, 2023 · 3 comments

Comments

@hawkrives
Copy link
Member

hawkrives commented Jan 22, 2023 •
edited by drewvolz

Or it's somewhat confusing?
@rye
Copy link
Member

rye commented Jan 27, 2023 •
edited

Can we bundle fonts with the app? Or should we use an existing one? My brain immediately went to Iosevka which has a nice 0 with a slash. But lots of fonts have that so we could probably prefer to pick one that already exists.

@hawkrives
Copy link
Member Author

We can bundle fonts with the app!

We could also use SF Mono for the number field, which does have a slashed zero:

sf mono screenshot

… but I'd be willing to bundle something else, probably!

@drewvolz
Copy link
Member

Related to fonts #6796

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

No branches or pull requests
3 participants
@hawkrives @rye @drewvolz