From cf59bd3db557ae5ad6895bafc4d9868c70548bc4 Mon Sep 17 00:00:00 2001
From: Robin Scholtes <robin@theweirdscience.com>
Date: Sat, 3 Feb 2024 18:00:22 +1300
Subject: [PATCH] [#181] returns banner height to original 30 pixels

---
 src/web/App.mjs                           | 6 +++---
 src/web/stylesheets/themes/_structure.css | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/web/App.mjs b/src/web/App.mjs
index 9ab6635739..a3a4a8ca19 100755
--- a/src/web/App.mjs
+++ b/src/web/App.mjs
@@ -842,14 +842,14 @@ class App {
     /**
      * Due to variable available heights on mobile devices ( due to the
      * address bar etc. ), we need to calculate the available space and
-     * set some heights programmatically based on the full view height,
-     * minus fixed height elements.
+     * set some heights programmatically based on the full viewport
+     * minus fixed-height elements.
      *
      * Be mindful to update these fixed numbers accordingly in the stylesheets
      * ( themes/_structure ) if you make changes to those elements' height.
      */
     assignAvailableHeight() {
-        const bannerHeight = 40;
+        const bannerHeight = 30;
         const controlsHeight = 50;
         const operationsHeight = 80;
 
diff --git a/src/web/stylesheets/themes/_structure.css b/src/web/stylesheets/themes/_structure.css
index ea2b2f9813..dd9eee5e68 100644
--- a/src/web/stylesheets/themes/_structure.css
+++ b/src/web/stylesheets/themes/_structure.css
@@ -1,6 +1,6 @@
 :root {
     /* Fixed heights */
-    --banner-height: 40px;
+    --banner-height: 30px;
 
     /* Mobile height */
     --title-height: 40px;
@@ -16,7 +16,7 @@
  * A note:
  *
  * Heights of #recipe, #input and #output are set programmatically
- * in App.js
+ * in App.js assignAvailableHeight();
  */