-
Notifications
You must be signed in to change notification settings - Fork 4k
UI tweaks #3: font family #3679
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
Conversation
|
Just repeating my ask from the closed PR for a font family that has a condensed font. |
Sadly, after trying a few dozen fonts, we couldn't find one that worked nearly as well as for Streamlit apps as Source * Pro. The good news is that Source Sans Pro is actually super compact, so there should be less need for a condensed font. Here is a comparison between normal Source Sans Pro and some condensed fonts: From these, the only one that would give you any real winnings is Roboto. It's not a perfect visual match for Source Sans, but, frankly, it's fine 😆 |
|
Ok, fair enough. Thanks for showing the comparison! |
kmcgrady
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
None of these comments are blocking, so I'll approve. Let me know if you have any questions.
c916a53 to
569e708
Compare
fa5616f to
cf326aa
Compare
f2f2e1f to
e563676
Compare
7a7a9a2 to
732e2ac
Compare




(Breaking up #3642 into multiple PRs)
NOTE: Screenshot tests coming after first round of reviews. Don't want to generate and re-generate as more reviews come in 😅
NOTE #2: Note the base branch for this PR. I'm basing it on the previous UI tweaks PR so the diff is easier to read. The idea is to merge in order.