JupyterLab -> Settings -> Advanced Settings Editor
shows me System Defaults and allows me to edit User Preferences. If there’s documentation as to how exactly to edit User Preferences for a desired outcome, where are the docs, please?
I’ve managed to add a keyboard shortcut, through a process of trial and error. Similarly I’ve managed to to change the font-size in cells containing my Python source code. But I’ve been unable to figure out how to change the font-size in cells containing textual output from Python. If the process is documented, where, please? Otherwise, how can I change the font-size in cells containing textual output from Python?