From 1f1de53b1fe29d749ca12a97426c9c0db923d2e2 Mon Sep 17 00:00:00 2001 From: Mike Gimelfarb <35513382+mike-gimelfarb@users.noreply.github.com> Date: Thu, 19 Dec 2024 15:25:10 -0500 Subject: [PATCH] Update visualization.py --- pyRDDLGym_jax/core/visualization.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pyRDDLGym_jax/core/visualization.py b/pyRDDLGym_jax/core/visualization.py index de5025b..55482ce 100644 --- a/pyRDDLGym_jax/core/visualization.py +++ b/pyRDDLGym_jax/core/visualization.py @@ -417,7 +417,8 @@ def create_experiment_table(active_page, page_size): dbc.Tab(dbc.Card( dbc.CardBody([ dbc.Row([ - dbc.Alert(id="planner-info", color="light", dismissable=False) + dbc.Alert(id="planner-info", color="light", dismissable=False, + style={"fontFamily": "Courier, monospace"}) ]), ]), className="border-0 bg-transparent" ), label="Debug", tab_id='tab-debug'