tweaked floating tool buttons (undo, redo, search)

blocks.js

@@ -6652,6 +6652,7 @@ ScriptsMorph.prototype.addUndropControls = function () {
         new SymbolMorph("turnForward", 12)
     );
     toolBar.undoButton.alpha = 0.2;
+    toolBar.undoButton.padding = 2;
     // toolBar.undoButton.hint = 'undo the last\nblock drop\nin this pane';
     toolBar.undoButton.labelShadowColor = shade;
     toolBar.undoButton.drawNew();
@@ -6659,6 +6660,7 @@ ScriptsMorph.prototype.addUndropControls = function () {
     toolBar.add(toolBar.undoButton);
 
     toolBar.redoButton.alpha = 0.2;
+    toolBar.redoButton.padding = 2;
     // toolBar.redoButton.hint = 'redo the last undone\nblock drop\nin this pane';
     toolBar.redoButton.labelShadowColor = shade;
     toolBar.redoButton.drawNew();

objects.js

@@ -2332,9 +2332,10 @@ SpriteMorph.prototype.freshPalette = function (category) {
     palette.toolBar = new PushButtonMorph(
         this,
         "searchBlocks",
-        new SymbolMorph("magnifierOutline", 14)
+        new SymbolMorph("magnifierOutline", 16)
     );
     palette.toolBar.alpha = 0.2;
+    palette.toolBar.padding = 1;
     palette.toolBar.hint = localize('find blocks') + '...';
     palette.toolBar.labelShadowColor = new Color(140, 140, 140);
     palette.toolBar.drawNew();