Font size in documentation

[yaxu]

When I set the font size large (e.g. for a performance), this changes the fontsize in the documentation as well as the repl. This makes a lot of the examples unreadable without a lot of horizontal scrolling. Maybe the font size should only apply to the repl, or there should be a toggle or separate slider for applying it to the documentation.

[yaxu]

Or maybe there are tweaks to make the docs work better in large font sizes