From 4a7008e5f6b0df94db823e29e1772772cad6bc02 Mon Sep 17 00:00:00 2001
From: Robin Scholtes <robin@theweirdscience.com>
Date: Mon, 17 Apr 2023 11:24:56 +1200
Subject: [PATCH] fix overflow issues causing some inconsistencies in
 alignments

---
 src/web/html/index.html                   | 6 +++---
 src/web/stylesheets/layout/_banner.css    | 2 --
 src/web/stylesheets/layout/_structure.css | 4 ++--
 3 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/src/web/html/index.html b/src/web/html/index.html
index 115426b9..6cb06ffb 100755
--- a/src/web/html/index.html
+++ b/src/web/html/index.html
@@ -203,8 +203,8 @@
                            tabindex="2"
                            data-help-title="Searching for operations"
                            data-help="<p>Use the search box to find useful operations.</p><p>Both operation names and descriptions are queried using a fuzzy matching algorithm.</p>"/>
-                    <ul id="search-results" class="op-list"></ul>
-                    <div id="categories" class="panel-group no-select"></div>
+<!--                    <ul id="search-results" class="op-list"></ul>-->
+<!--                    <div id="categories" class="panel-group no-select"></div>-->
                 </div>
 
                 <!--recipe-->
@@ -223,7 +223,7 @@
                             </button>
                         </span>
                     </div>
-                    <ul id="rec-list" class="list-area no-select"></ul>
+<!--                    <ul id="rec-list" class="list-area no-select"></ul>-->
 
                     <!--controls-->
                     <div id="controls" class="no-select hide-on-maximised-output">
diff --git a/src/web/stylesheets/layout/_banner.css b/src/web/stylesheets/layout/_banner.css
index 6849b87b..bf407946 100755
--- a/src/web/stylesheets/layout/_banner.css
+++ b/src/web/stylesheets/layout/_banner.css
@@ -15,8 +15,6 @@
     color: var(--banner-font-colour);
     background-color: var(--banner-bg-colour);
     margin: 0;
-
-    /*///////// dolphin additions //////*/
     justify-content: space-between;
 }
 
diff --git a/src/web/stylesheets/layout/_structure.css b/src/web/stylesheets/layout/_structure.css
index 05ec304e..ab6826c0 100755
--- a/src/web/stylesheets/layout/_structure.css
+++ b/src/web/stylesheets/layout/_structure.css
@@ -45,13 +45,13 @@ body {
 
 #recipe {
     height: 15vh;
-    overflow-y: scroll;
+    overflow-y: auto;
 }
 
 #input .cm-scroller,
 #output .cm-scroller {
     height: 20vh;
-    overflow-y: scroll;
+    overflow-y: auto;
 }
 
 #recipe .title,