Nice if font size 13 is available on the next upgrade. 12 is a bit small, and 14 is a bit large.
click 3 dots in upper righthand corner of any resource panel, then you can adjust the font size as you wish.
