When I open a browser window in App Studio (for example by typing https://www.google.com in one of the search boxes), I can bring up the DevTools and the console by hitting CTRL+SHIFT+J.
However, the font size of the DevTools is way too small, something like 6pt or so. See image below. And there seems to be no way to increase it, not even with the usual CTRL++.
I am on Windows 10 (19042.985), Refinitiv Desktop 4.0.54.
Does anyone know how to increase the font size?