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