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="

Use the search box to find useful operations.

Both operation names and descriptions are queried using a fuzzy matching algorithm.

"/> - -
+ + @@ -223,7 +223,7 @@ - +
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,