search

leanprover-community / lean4game

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

Worldtree for small screens #101

Closed joneugster closed 11 months ago

joneugster commented 1 year ago

The CSS displaying the world tree on small screens (and mobile) isn't working correctly.

joneugster commented 11 months ago

Testing this now, the only problem I found was the Rules selector overlapping the tree, which I fixed. Arguably not in the prettiest way, but that's a question for later.