Search input box is too small. It should be fully flexible since there is no boundary (border) on this `input` box.  _Originally posted by @tnir in https://github.com/gitpod-io/gitpod/issues/3727#issuecomment-817455895_