I believe the size difference stems from the different DPI in font/widgetsets. The size parameter at least on gtk is calculated by division and DPI is featured, so it's possible that the default DPI differ on platforms? My knowledge of this area is quite limited tho so I might have said something stupid.