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.
