fontsize for the TODO Module

[Dr Eberhard Lisse]

Hi,

is there a way of changing the font size for all margin notes in one
fell swoop from the GUI?

Or do I have to mess with the module?

el