Replicating PR#164 on LAS 1.5 branch.

Font fixes for fixed-width (code) rendering (#131, #162)
Add missing Courier font
Make Times font explicit.
Reduce font size from 12pt to 11pt

Author: esilvia

.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

source/conf.py

@@ -149,6 +149,8 @@ def get_git_revision_short_hash():
 
 \usepackage{titling}
 \usepackage{fancyhdr}
+\usepackage{times}
+\usepackage{courier}
 \makeatletter
 \fancypagestyle{normal}{
     \fancyhf{}
@@ -261,7 +263,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',