Change plot font family to cmr10

diff --git a/scripts/plot_json_objects_scenario.py b/scripts/plot_json_objects_scenario.py
index 7705c4532b494827e412afb0e419c1c53addb1ff..7b2c1f61134dbc2ffd168dae84f4192461946ab5 100644 (file)
--- 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