fix rendering of proofs and similar elements in dark mode

lucformalmethodscourse / lucformalmethodscourse.github.io

Lecture notes for the COMP 335/435: Formal Methods in Software Engineering course at Loyola University Chicago with a focus on advanced testing and model checking using TLA+.

https://lucformalmethodscourse.github.io/

MIT License

0 stars 0 forks source link

fix rendering of proofs and similar elements in dark mode #12

Open klaeufer opened 9 months ago