[Frenzie]

I think I've seen people do that because the default tends to be 16px and they find it easier to calculate from something else.

So then you get something like

16*1.25 = 20

0.6*20=12

As opposed to 0.75*16=12.

Or something like that.

I already find that rationale most peculiar, but it almost certainly can't apply to 1.136… so beats me.

---

Incidentally, there is a style tweak to ignore publisher font sizes (albeit all of them).