I think the subject says it all.
The monotype font in the PDF exports for code snippets is much too big for my liking.
I have tried with some CSS, but I couldn't make the text of the code snippets change size at all. I tried changing the font-size for the '.prismjs' class, and the '.language-json' class. Nothing worked.
Anyone know how to change that font size in the PDF?