A few of our teachers are very fond of the PDF-annotator and use a Wacom board to mark the PDF's. They complain about the line size being too fat, so they have to write too big to make it readable (they ask the students to use line height 1.5 and wide margins to be able to mark their work ).
I would already be glad with an admin setting or even knowing where to alter the code to change it - I can't find it.