Open
Description
This should be trivially implementable now that we have the proper one-page version!
Create a new "pdf.html" page, based on the "single.html" one but:
- No navbar
- No sidebar
- Print table of contents (the one normally in the sidebar) at the top of the document
- Use jsPDF, potentially serverside, to generate a PDF build