diff --git a/.github/workflows/pdf.yml b/.github/workflows/pdf.yml index bc52adc..d549634 100644 --- a/.github/workflows/pdf.yml +++ b/.github/workflows/pdf.yml @@ -19,6 +19,8 @@ jobs: run: | python3 --version sphinx-build --version + DEBIAN_FRONTEND=noninteractive apt-get update -y + DEBIAN_FRONTEND=noninteractive apt-get install texlive-fonts-recommended -y - name: Lint .rst files run: | if find . -name '*.rst' | xargs grep -P '\t'; then echo 'Tabs are bad, please use four spaces in .rst files.'; false; fi diff --git a/source/conf.py b/source/conf.py index fe2331b..89e69c4 100644 --- a/source/conf.py +++ b/source/conf.py @@ -136,6 +136,8 @@ def get_git_revision_short_hash(): \usepackage{titling} \usepackage{fancyhdr} +\usepackage{times} +\usepackage{courier} \makeatletter \fancypagestyle{normal}{ \fancyhf{} @@ -249,7 +251,7 @@ def get_git_revision_short_hash(): # The font size ('10pt', '11pt' or '12pt'). # - 'pointsize': '12pt', + 'pointsize': '11pt', # Other document class options - ensure uniform header/footer 'classoptions': ',oneside,openany',