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

Reply via email to