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

[doc] Change PDF cover font to DejaVu Sans #45290

Merged
merged 1 commit into from
May 12, 2022

Conversation

mortenpi
Copy link
Contributor

Changes the font on the PDF title/cover page (cf. #45034 (comment)) away from Helvetica to DejaVu Sans, which is actually available on the Docker image. This should fix the building of the nightly PDFs on CI. The updated cover should look like this:

Screenshot from 2022-05-12 16-45-45

@inkydragon: This is intended as a workaround until we have a better solution. For what it's worth, I noticed that even when building natively on my Ubuntu machine those fonts are still falling back to lmr (Latin Moden Roman).

I think we could definitely pick a nicer font for the cover page. However, Helvetica appears to be a proprietary font and so not easily available. If you have time, I think the best option would be to pick a nice open source font from Google Fonts, and we can bake it into the Docker image (as we do for Roboto).

@mortenpi mortenpi added docs This change adds or pertains to documentation docsystem The documentation building system labels May 12, 2022
@KristofferC KristofferC merged commit c65e56f into JuliaLang:master May 12, 2022
@mortenpi mortenpi deleted the mp/fix-cover-font branch May 13, 2022 01:14
@mortenpi mortenpi restored the mp/fix-cover-font branch August 19, 2022 00:18
@mortenpi mortenpi deleted the mp/fix-cover-font branch August 19, 2022 00:18
@mortenpi
Copy link
Contributor Author

Could we backport this to 1.8?

@DilumAluthge DilumAluthge added the backport 1.8 Change should be backported to release-1.8 label Aug 19, 2022
KristofferC pushed a commit that referenced this pull request Aug 26, 2022
@KristofferC KristofferC removed the backport 1.8 Change should be backported to release-1.8 label Sep 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation docsystem The documentation building system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants