theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

The theme changes when I click on the print icon

Open xiaoxi-david opened this issue 1 year ago • 0 comments

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.

xiaoxi-david avatar Feb 23 '24 20:02 xiaoxi-david