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

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

KristofferC merged 1 commit into JuliaLang:master from mortenpi:mp/fix-cover-font

Change PDF cover font to DejaVu Sans

3ea23e54

mortenpi added docs

mortenpi added docsystem

KristofferC approved these changes on 2022-05-12

KristofferC merged c65e56f0 into master 3 years ago

mortenpi deleted the mp/fix-cover-font branch 3 years ago

mortenpi restored the head branch 3 years ago

mortenpi deleted the mp/fix-cover-font branch 3 years ago

DilumAluthge added backport 1.8

KristofferC removed backport 1.8

Reviewers

KristofferC

Assignees

No one assigned

Labels

docs docsystem

Milestone

No milestone