From 150d79f96b15455b7194eb0b35602a3d8a5dbb70 Mon Sep 17 00:00:00 2001
From: "Yann Esposito (Yogsototh)" <yann.esposito@gmail.com>
Date: Sun, 22 Nov 2020 21:55:19 +0100
Subject: [PATCH] use Computer Modern Unicode

---
 Shakefile.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Shakefile.hs b/Shakefile.hs
index c18cacc..6b38e66 100644
--- a/Shakefile.hs
+++ b/Shakefile.hs
@@ -367,7 +367,7 @@ genPdfAction _getPost out = do
     , "--resource-path=" <> takeDirectory srcFile
     , srcFile
     , "-H", "engine" </> "deeplist.tex"
-    , "-V", "mainfont:Hoefler Text"
+    , "-V", "mainfont:CMU Serif"
     , "-V", "mainfontoptions:Renderer=OpenType, Mapping=tex-text, ItalicFeatures={Alternate = 0},  Ligatures={Common,Rare,Historic,Contextual},Contextuals=Inner,Alternate=1"
     , "-V", "monofont:Menlo"
     , "-V", "monofontoptions:Scale=0.7"