search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
137 stars 25 forks source link

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

Closed noamraph closed 3 months ago

noamraph commented 3 months ago

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

joneugster commented 3 months ago

Amazing, thank you! Will be online the next time the server is updated.

noamraph commented 3 months ago

@joneugster Thanks! I'm really happy that I could contribute something!