The font size of the values associated with some check boxes is too large. It should be 12px.

This only applies to single check boxes. If check boxes appear in groups, - e.g. in the same dialog box shown in the attached screenshot (edit page properties), but in the "output channels" tab - the values are actually shown using the correct font size.

This not only occurs in Safari, but also Firefox.