From 4b9c317151612e80a1c971e56a6713f837a1da52 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Thu, 28 Dec 2023 15:23:06 -0600
Subject: [PATCH] Revert "Switch to CMU Serif"

This reverts commit a24b8dd8768f61c08847f05eef29904f7f7bb1b7.
---
 spec/doc.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spec/doc.tex b/spec/doc.tex
index afd6b2f..2ce54c6 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -5,10 +5,9 @@
 \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