Changing font sizes I’m not being successful in changing the default font sizes for both, output table of a node and the code within Java, JS and Python editors. Changes in Preferences don’t seem to have any effect.