They’re all set to sizes between 8 and 10 pt, and if the font selector popup window is any indication (I requested 24 pt in it for the screenshot to see that the example text gets scaled properly), the actual fonts are all available:
Besides … the OS selection is what controls the fonts on the top menu (the one going “Datei Bearbeiten Ansicht …” in my previous screenshots), isn’t it? That is the size it should be …