[MiKTeX] Default font smaller?

[Daniel R. <da...@ro...>]

I recently upgraded MiKTex. Since then I'm under the impression that =
the=20
default font has gotten smaller, by one notch.
E.g. new 12pt looks like old 11pt, new 11pt looks like old 10pt, ....

Do I have to ask my opthalmologist for an emergency appointment or is=
 there=20
any truth to it?

Daniel

______________________________
Daniel Royer, University of Geneva
daniel at royer dot ch