This adapts the defined margins in the FindReplaceOverlay, such that
1. there is no vertical cutoff of the buttons
2. the search and replace input boxes are vertically centered

Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/1997
Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/2092