@ Max Bowsher, thanks for your comment, but there's not much point going back and forth with this issue like that. This bug has been fixed, if in your opinion the font size is still incorrect, please do file a new bug.
@ Max Bowsher, thanks for your comment, but there's not much point going back and forth with this issue like that. This bug has been fixed, if in your opinion the font size is still incorrect, please do file a new bug.