Generate PDF or HTML of source

[Adam D. Ruppe]

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.