From cfa1835b2693e42318c018ee01adc873c2de0192 Mon Sep 17 00:00:00 2001
From: Richard Knoll <riknoll@users.noreply.github.com>
Date: Thu, 5 Sep 2024 14:53:37 -0700
Subject: [PATCH] fix workspace search plugin CSS in Firefox (#10157)

---
 pxtblocks/workspaceSearch.ts | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/pxtblocks/workspaceSearch.ts b/pxtblocks/workspaceSearch.ts
index a703b0755acd..32c29b1f744b 100644
--- a/pxtblocks/workspaceSearch.ts
+++ b/pxtblocks/workspaceSearch.ts
@@ -33,4 +33,10 @@ export class PxtWorkspaceSearch extends WorkspaceSearch {
         super.close();
         Blockly.utils.dom.removeClass(this.injectionDiv, 'blockly-ws-searching');
     }
-}
\ No newline at end of file
+}
+
+Blockly.Css.register(`
+.blockly-ws-search button {
+    padding-left: 6px;
+    padding-right: 6px;
+}`);
\ No newline at end of file