Ideally, maybe we should say that if someone wants to do a theme with font sizing like this (instead of large, small, etc.) they should do it in percentages? That way the user can still customize the font size and the percentages (I think) will go larger and smaller from that starting point. That would require making the body font size explicitly the base-font-size variable, so that everything cascades from that one.