Change PDF cover font to DejaVu Sans (#45290)

(cherry picked from commit c65e56f)
JuliaLang · Aug 26, 2022 · 21a53fb · 21a53fb
1 parent ffe7ea7
commit 21a53fb
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/doc/src/assets/custom.sty b/doc/src/assets/custom.sty
@@ -40,6 +40,7 @@ contents={
 }}%
 
 % ---- Heading font style
-\DeclareFixedFont{\MainHeading}{T1}{phv}{b}{n}{1.5cm}
-\DeclareFixedFont{\SecondaryHeading}{T1}{phv}{b}{n}{0.8cm}
+\usepackage{anyfontsize}
+\newcommand{\MainHeading}{\fontspec{DejaVu Sans}\fontsize{40}{40}\selectfont\bfseries}
+\newcommand{\SecondaryHeading}{\fontspec{DejaVu Sans}\LARGE}
 %% cover page END -------------------------------------------------------------