tree 067b69d629afae7176cbbd78b2a7e45962632f3c
parent 07fa83bfacc1a42e9a079666bf17393e10a9b514
author Luca Milanesio <luca.milanesio@gmail.com> 1667606844 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1667608461 +0000

Re-establish the vertical spacing in the repository commands

The beautify of the repository commands made in Ida9f3efc1
has accidentally removed the vertical spacing between buttons,
making the organisation of all other repository actions
(e.g., GC and the other provided by plugins) attached together
with their titles and with themselves.

Rectify the situation and give the same space the buttons had
in earlier versions of Gerrit by adding a top-margin to `h3`
as well, that are the titles of the other generic buttons.

Bug: Issue 16389
Release-Notes: skip
Change-Id: If6af1dfe9aeaabf4976f86d4938a7adde6aa896d