From 995f811cfc2d85358ecb5e672eece0cb3bd8f379 Mon Sep 17 00:00:00 2001
From: Jean-Marie Favreau <J-Marie.Favreau@uca.fr>
Date: Wed, 16 Jan 2019 11:39:47 +0100
Subject: [PATCH] Choix d'une police plus facile
---
musique/exercice.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/musique/exercice.py b/musique/exercice.py
index 5252dba..b3e6d54 100644
--- a/musique/exercice.py
+++ b/musique/exercice.py
@@ -82,6 +82,10 @@ class GenerateurExercice(GammeTemperee):
result += "\\usepgflibrary{arrows}\n"
result += "\\usetikzlibrary{arrows}\n"
result += "\\pagestyle{empty}\n"
+ result += "\\usepackage{libertine}"
+ result += "\\usepackage{libertinust1math}"
+
+
result += "\\title{" + titre + "}\n"
result += "\\date{}\n"
result += "\\begin{document}\n"
--
GitLab