Closed impredicative closed 5 months ago
Is it possible to generate nice dark mode PDFs too?
Yes, I will work on that shortly :)
Should be fixed by that PR. Will merge it asap once someone review it.
Thank you for the suggestion.
Many thanks.
Is it possible to generate nice dark mode PDFs too?