From 09c81ea43f8e07cdc525a08dd4cb91acd930c7dc Mon Sep 17 00:00:00 2001
From: Noam Yorav-Raphael <noamraph@gmail.com>
Date: Mon, 25 Mar 2024 19:10:33 +0200
Subject: [PATCH] Update level.css - hide .katex-mathml, to fix scrolling issue

Fixes https://github.com/leanprover-community/lean4game/issues/202
---
 client/src/css/level.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/client/src/css/level.css b/client/src/css/level.css
index b04b12a6..56e6f4fa 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);