From 6fc91b8ff2610e260b3803bfdc52beae0ae43ec7 Mon Sep 17 00:00:00 2001
From: Richard Knoll <riknoll@microsoft.com>
Date: Thu, 5 Sep 2024 14:11:04 -0700
Subject: [PATCH] fix: explicitly set the padding on workspace search buttons

---
 plugins/workspace-search/src/css.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/plugins/workspace-search/src/css.ts b/plugins/workspace-search/src/css.ts
index 126e13bc08..2adb2365b1 100644
--- a/plugins/workspace-search/src/css.ts
+++ b/plugins/workspace-search/src/css.ts
@@ -70,6 +70,8 @@ const cssContent = `path.blocklyPath.blockly-ws-search-highlight {
   }
   .blockly-ws-search button {
     border: none;
+    padding-left: 6px;
+    padding-right: 6px;
   }
   .blockly-ws-search-actions {
     display: flex;