Skip to content

Change of fonts #1997

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

Open
kilasuit opened this issue Apr 22, 2025 · 4 comments
Open

Change of fonts #1997

kilasuit opened this issue Apr 22, 2025 · 4 comments

Comments

@kilasuit
Copy link

This may be just a me thing, but the font used for each man page is incredibly hard to parse and read. So it may be worth spending some time investigating other fonts to use

@dscho
Copy link
Member

dscho commented Apr 22, 2025

Not gonna lie: Unless you spend time investigating and then convincing others that another font is better, I don't see this happening. This project isn't like Aladdin where you wish something and it magically appears just because you wished for it.

@kilasuit
Copy link
Author

Danke, this issue wasn't a can the project team do this and more a general perhaps this is a good learning exercise for starting to work with or learn more about this project whether that be for me (quite likely) or anyone else thinking similarly to me.

As a maintainer, collaborator and long time developer, I totally get this

This project isn't like Aladdin where you wish something and it magically appears just because you wished for it.

I'll come back to this in the coming days as I do think this would be something that would help readability, even if I endup with a personal hacky implementation using a personal style sheet for the site.

@dscho
Copy link
Member

dscho commented Apr 23, 2025

While readability is an excellent subject for heated discussions that are firmly rooted in vastly divergent personal tastes, I, for one, would love to see your contribution, even if we have to end up with some sort of Settings page that stores personal preferences in the localStorage and allows users to choose different fonts based on their individual preferences.

@To1ne
Copy link
Collaborator

To1ne commented Apr 25, 2025

@kilasuit I agree the look isn't very accessible and could use some improvement. And as much as I'd like to make this better, I'm not much of a typography expert to improve the situation

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

3 participants