-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
fonts? #141
Comments
See the later parts of issue #95 . The fonts were removed to get rid of external dependency. I've been rethinking the decision myself because the original fonts quite pleasing to the eye. Perhaps the answer is a compromise which allows us to include the nice font with local Times New Roman (or some other font) fall back. Any PR to address this would be very welcome. |
Never mind! Let's just include a font. |
Close #141: add "Open Sans Regular" webfont (MDN).
Good but I guess #142 shifted "close button" (x) so view is a bit odd for little boxes: |
What happened to the clean and nice fonts? Now I see classical Times New Roman fonts and I don't think that it looks as well as the old one. I couldn't find a thread about this either. May there be some kind of bug or wrong pull request?
The text was updated successfully, but these errors were encountered: