Feature request: Ability to control (and specifically reduce) font size and spacing size in PDF export

[addisonschultz]

Context: We prepare printed manuals from our company's digital documentation in Gitbook. We use Gitbook's PDF export function to generate a PDF, manually edit that PDF to suit our needs, and then send that PDF to a printer.

We'd love if we could control (and specifically reduce) the font size and spacing size in the PDF export. By spacing size, we're referring to the spacing around headers and between paragraphs.

While granular controls would be great, we also understand that these may not be ideal from a product perspective. To start, something as simple as small/medium/large options (or compact/standard options) would be great.

Happy to provide additional information on our use case!

--

Originally requested by @arsalansufi