> Are you suggesting that there is a default default font that is expected to be used across all browsers?

Yes – 16px times new roman.

Almost everything overrides the default font size because almost every browser has a default of 16px, while almost every desktop OS uses a UI font of <13px.