search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
159 stars 85 forks source link

The theme changes when I click on the print icon #105

Open xiaoxi-david opened 7 months ago

xiaoxi-david commented 7 months ago

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.

  1. 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.