This PR makes the font-size of all themes 1em (addressing this comment). I also adjusted all pixel-based margins and padding that assumed a formerly constant font size.
These changes have one main advantage: Compatibility. We already had bugs there were related to inconsistent font sizes. Making the font size the same for all themes makes it easier to develop plugins.
This PR makes the
font-size
of all themes1em
(addressing this comment). I also adjusted all pixel-based margins and padding that assumed a formerly constant font size.These changes have one main advantage: Compatibility. We already had bugs there were related to inconsistent font sizes. Making the font size the same for all themes makes it easier to develop plugins.