[Windows] Menu font size too big, does not follow system settings.
I saw this issue happens on Windows 10***, from Dorico 1 to Dorico Pro 3 at this moment.
By default under 100% system DPI setting, the default menu font of Windows NT 6.x is 9pt.
However, the menu font size in Dorico is 10pt.
Screenshot (Windows Embedded with Luna XP theme):
(Give me some time to get screenshots from Windows 10. I will update it quickly.)
https://twitter.com/ShikiSuen/status/1179762702996013056
Note: Windows 7 may have this issue if using 3rd-party Window theme.
P.S.: This is unfriendly to laptop users under the most popular 1366x768 resolution (especially considering the condensed UI design in Dorico Pro 3).