diff --git a/client/src/css/level.css b/client/src/css/level.css index b04b12a..56e6f4f 100644 --- a/client/src/css/level.css +++ b/client/src/css/level.css @@ -369,6 +369,11 @@ td code { text-align: center; } +/* Fixes https://github.com/leanprover-community/lean4game/issues/202 */ +.katex-mathml { + display: none; +} + /* DEBUG */ /* .proof .step { border: 2px solid rgb(0, 123, 255);