Noam Yorav-Raphael 09c81ea43f Update level.css - hide .katex-mathml, to fix scrolling issue ...

Fixes https://github.com/leanprover-community/lean4game/issues/202

2024-03-25 19:10:33 +02:00

..

public

change to vite

2023-11-08 09:30:59 +01:00

src

Update level.css - hide .katex-mathml, to fix scrolling issue

2024-03-25 19:10:33 +02:00