Get Rid of Pixel-Sized Elements

Instead, express all sizes in relation to the default font size. This
makes various UI features like icons, gaps and spaces consistently sized
wrt. to the text elements, regardless of the chosen font size- This is
especially useful for High-DPI-ish displays where increasing the font
size works better than fractional display scaling or for people who want
to increase the font sizes anyway.