From 95f7b9205a340a26feb5d6e77d3d70e745908fd4 Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Fri, 5 Jun 2020 17:14:25 +0100
Subject: [PATCH] Fix Help tab search box appearance

---
 .../node_modules/@node-red/editor-client/src/js/ui/tab-help.js   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/node_modules/@node-red/editor-client/src/js/ui/tab-help.js b/packages/node_modules/@node-red/editor-client/src/js/ui/tab-help.js
index 4c469425b..61540c0ad 100644
--- a/packages/node_modules/@node-red/editor-client/src/js/ui/tab-help.js
+++ b/packages/node_modules/@node-red/editor-client/src/js/ui/tab-help.js
@@ -62,6 +62,7 @@ RED.sidebar.help = (function() {
         panels.ratio(0.3);
 
         helpSearch = $('<input type="text" data-i18n="[placeholder]sidebar.help.search">').appendTo(toolbar).searchBox({
+            style: "compact",
             delay: 100,
             change: function() {
                 var val = $(this).val().toLowerCase();