-
Sebastian Gottfried authored
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.
f578d6af