I've opened #7800 to log that we should change the font size handling before landing themes.