This ensures consistent font metrics no matter which platform fonts are available.
When resolving these constraints to CSS pixel sizes, we have to resolve padding-top and padding-bottom against the flex container's *width*, not its height.