12px font also could become very small in the future, if typical computer displays end up having high dpi.

I guess a conforming browser should randomly sample computer displays before deciding how big 1px is.

Serious version: I don't think text like that should make it into a standard.