Remove some superfluous empty vertical space from browser dock widget