From b0f5bb17ce0e626b63cb8895afa7b1c60bfaac78 Mon Sep 17 00:00:00 2001
From: Jiri Vlasak <hubacji1@fel.cvut.cz>
Date: Thu, 3 Dec 2020 15:47:04 +0100
Subject: [PATCH] Change plot font family to cmr10

---
 scripts/plot_json_objects_scenario.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/plot_json_objects_scenario.py b/scripts/plot_json_objects_scenario.py
index 7705c45..7b2c1f6 100644
--- a/scripts/plot_json_objects_scenario.py
+++ b/scripts/plot_json_objects_scenario.py
@@ -127,6 +127,7 @@ if __name__ == "__main__":
     #   - sc1-0: 16
     #   - sc3-2, Intro: 12
     #   - sc4-0+: 22
+    plt.rcParams["font.family"] = "cmr10"
     plt.rcParams["font.size"] = 12
     plt.rcParams['hatch.linewidth'] = 1.0
     plt.rcParams['lines.linewidth'] = 1.0
-- 
2.39.2