Style and UX fixes for push UI#589

Merged

helen merged 4 commits intodevelopfrom

fix/polish-select-all

Jun 12, 2020

Commits on Jun 9, 2020

Style and UX fixes for push UI
helen
committed

Commits on Jun 10, 2020

Commits on Jun 11, 2020

Make sure buttons are the correct height
helen
committed