Feature: Make it possible to change the font size in the exercise window #629
Description
Related user(s):
Related issue(s) or PR(s):
Related project scope(s):
web-app UI
The problem:
As suggested by @fpottier in #214:
it would be nice if the user could control the font size (in the exercise window).
Wanted solution:
No response
Considered alternatives:
Meanwhile, users can still zoom-in via their browser's shortcut Ctrl-+ or so (admittedly, this is a workaround)
Additional context:
No response