From a1adc2a85d58cb86a67e68e8a0ce314aa72e38c9 Mon Sep 17 00:00:00 2001
From: James Read <contact@jread.com>
Date: Thu, 4 Jul 2024 00:33:58 +0100
Subject: [PATCH] bugfix: Output width in chrome (#345)

---
 webui.dev/style.css | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/webui.dev/style.css b/webui.dev/style.css
index 1367271..4025381 100644
--- a/webui.dev/style.css
+++ b/webui.dev/style.css
@@ -223,6 +223,7 @@ div.entity h2 {
 
 details {
   display: inline-block;
+  flex-grow: 1;
 }
 
 details[open] {
@@ -464,8 +465,18 @@ div.display {
   font-size: small;
 }
 
+#execution-dialog-output {
+  display: flex;
+  flex-direction: row;
+  justify-content: start;
+}
+
 #execution-dialog-xterm {
-  overflow: scroll;
+  overflow: auto;
+}
+
+.xterm .xterm-viewport {
+  overflow-y: auto !important;
 }
 
 .padded-content {