Merge pull request #204 from noamraph/patch-1

Update level.css - hide .katex-mathml, to fix scrolling issue
leanprover-community · Mar 25, 2024 · b37f050 · b37f050
2 parents ff12b34 + 09c81ea
commit b37f050
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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);