@mia_miau@chaos.social what about the browser printing dialog (with save to pdf)?
CSS media queries for print are a bit arcane though