The theme changes when I click on the print icon

[xiaoxi-david]

Unlike other Lean documentation, such as Functional Programming in Lean, theme changes every time I click on the print icon. I have tried to print the document with Microsoft Edge and Opera.

Steps to reproduce it:
1 Set the clear theme. Sometimes I have to choose other themes before setting the clear theme.
2. Click on the print icon. The theme changes to the navy theme.

I would like the website to keep the light theme so I can print the PDF with a white background.