In a bigger PR (#498), @doeixd had a lot of work improving the consistency on the vertical spacing of our elements. There were also some font-family changes that would perhaps cascade more effects throughout the UI.
So we asked him to pull those changes into a separate PR