From d2e60b83d15ba86039dd91424c70a148b0b63eac Mon Sep 17 00:00:00 2001 From: Evon Silvia Date: Thu, 15 May 2025 16:16:26 -0700 Subject: [PATCH] Times font now explicit Add missing Courier font Reduce font size from 12pt to 11pt --- .github/workflows/pdf.yml | 2 ++ source/conf.py | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) 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',