From 8055fbe916f23b6a67edb0a82ca411740f0f0a57 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Henning?= <soeren.henning@email.uni-kiel.de>
Date: Mon, 1 Mar 2021 16:40:05 +0100
Subject: [PATCH] Use TrueType fonts for plotting

---
 analysis/demand-metric-plot.ipynb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/analysis/demand-metric-plot.ipynb b/analysis/demand-metric-plot.ipynb
index 985d1fc91..90ef227db 100644
--- a/analysis/demand-metric-plot.ipynb
+++ b/analysis/demand-metric-plot.ipynb
@@ -100,6 +100,8 @@
    "outputs": [],
    "source": [
     "plt.style.use('ggplot')\n",
+    "plt.rcParams['pdf.fonttype'] = 42 # TrueType fonts\n",
+    "plt.rcParams['ps.fonttype'] = 42 # TrueType fonts\n",
     "plt.rcParams['axes.facecolor']='w'\n",
     "plt.rcParams['axes.edgecolor']='555555'\n",
     "#plt.rcParams['ytick.color']='black'\n",
-- 
GitLab