On Sunday, 16 March 2025 at 17:27:22 UTC, Anonymouse wrote:
Is getting rid of the sidebar non-trivial? I get https://i.imgur.com/ropgZWj.png when printing to PDF.
I never even considered someone would try to print it lol. Should be easy enough to add some css like
``` @media print { #page-nav { display: none !important; } } ```to the end of style.css in your generated docs folder then refresh it in your browser. Can add other things to hide there too if you want.