Keyboard Maestro and its manual

The Manual page ( allows for the generation of a pdf.

The resulting pdf contains text at 7pt. This is far too small to read for more than few minutes, and if zoomed to a readable it is necessary to have a large monitor. Even with this it leads to a very wide line length.

Can this feature be changed to a more sensible text size (such as 12pt)?

I have increased the font size to around 14pt.

Thank you for fixing this.