is it possible to set a default font size for Cadabra2 notebooks ? Alternatively, is it possible to add an input flag like, for instance, cadabra2-gtk -fontsize=large or something similar ?
This is on the todo list.