Hakuna matata!

Meines Wissens liegt die Entscheidung, welche Größe konkret gerendert wird, bei den Browsern. Sie ist also nicht spezifiziert.

Korrekt und selbst innerhalb eines Browsers darf die Schriftgröße für verschiedene Schriftarten für einen fixierten Absolutwert variieren. http://www.w3.org/TR/CSS21/fonts.html#font-size-props