[PATCH] ui: Shrink vertical space of patch list

[Stephen Finucane]

On Tue, 2019-01-08 at 12:38 +0000, Ali Alnubani wrote:
> From: Thomas Monjalon <thomas at monjalon.net>
> 
> The margin above the filter box is removed because there is
> already a margin below the navigation bar.
> 
> The vertical padding between rows is reduced
> while the horizontal padding between columns is increased.
> 
> Signed-off-by: Thomas Monjalon <thomas at monjalon.net>

Thanks, applied.

Stephen