From ed81414c5d6e37b7e2b7406ba4ca9b72ab8b5b9b Mon Sep 17 00:00:00 2001
From: Brian Carroll <brian.carroll.ireland@gmail.com>
Date: Thu, 28 Sep 2023 09:14:36 +0100
Subject: [PATCH] Reduce height of web REPL loading message, to match loaded
 state

---
 www/public/repl/repl.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/www/public/repl/repl.css b/www/public/repl/repl.css
index e4d32f1884..549b693f09 100644
--- a/www/public/repl/repl.css
+++ b/www/public/repl/repl.css
@@ -73,7 +73,8 @@ li {
 }
 
 #loading-message {
-  margin: 40% 10%;
+  text-align: center;
+  height: 96px; /* approximately match height after loading and printing help message */
 }
 
 .history-item {