From a24b8dd8768f61c08847f05eef29904f7f7bb1b7 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Thu, 28 Dec 2023 14:56:19 -0600
Subject: [PATCH] Switch to CMU Serif

This is a computer modern clone with unicode support.  This
hopefully fixes the error in the CI.
---
 spec/doc.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spec/doc.tex b/spec/doc.tex
index 2ce54c6..afd6b2f 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -5,9 +5,10 @@
 \documentclass{scrartcl}
 
 \usepackage{scrlayer-scrpage}
-\usepackage{unicode-math}
 \usepackage{fontsetup}
+\setmainfont{CMU Serif}
 
+\usepackage{unicode-math}
 \usepackage{minted}
 \usemintedstyle{trac}
 \renewcommand{\MintedPygmentize}{./highlight.py}
-- 
GitLab