diff --git a/web/internal/draw_ops_view.css b/web/internal/draw_ops_view.css index d412c23b9..ddc359646 100644 --- a/web/internal/draw_ops_view.css +++ b/web/internal/draw_ops_view.css @@ -141,6 +141,8 @@ } .op-arg { color: var(--number-color); + direction: ltr; + unicode-bidi: bidi-override; } .changed-value { font-weight: bold; diff --git a/web/internal/tree_view.css b/web/internal/tree_view.css index 5ad8b9e5d..1198a66f1 100644 --- a/web/internal/tree_view.css +++ b/web/internal/tree_view.css @@ -69,6 +69,7 @@ .str-value { color: var(--string-color); + white-space: preserve; } .num-value {