Why is this Helvetica in Safari?

Although this is Times. (This test case has been changed to use Times explicitly instead of relying on the user pref to be different from Helvetica.)