The values in spreadsheet cells properly change size with Preferences/Interface/Resolution Scale, but does not change if similarly altering the font sizes. This type of change is sometimes needed for accessibility reasons or just to compensate for the metrics of of differing fonts.
This patch simply replaces a hardcoded "11" with a UI_style_get_dpi()->widget.points, which is also 11 by default.
