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 {