Merge pull request tamarin-prover#533 from felixlinker/develop

Make proof tree more readable when going wide
yavivanov · Mar 28, 2023 · c168e24 · c168e24
2 parents 12560ff + daf7d18
commit c168e24
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data/css/tamarin-prover-ui.css b/data/css/tamarin-prover-ui.css
@@ -501,6 +501,7 @@ h4 {
     right: 0em;
     padding: 0em;
     overflow: auto;
+    white-space: nowrap;
 }
 
 #ui-main-display, #ui-debug-display, #proof {