diff --git a/client/src/components/LandingPage.css b/client/src/components/LandingPage.css index 864f39a..bdb1266 100644 --- a/client/src/components/LandingPage.css +++ b/client/src/components/LandingPage.css @@ -36,6 +36,13 @@ a { padding-bottom: 80px; } + +@media screen and (max-width: 440px) { + .game-list { + grid-template-columns: 100%; + + } +} .game { cursor: pointer; border: 1px solid rgb(140, 140, 140); diff --git a/client/src/components/LandingPage.tsx b/client/src/components/LandingPage.tsx index 8f45d58..02b100d 100644 --- a/client/src/components/LandingPage.tsx +++ b/client/src/components/LandingPage.tsx @@ -26,8 +26,7 @@ function GithubIcon({url='https://github.com'}) { return
-

Lean Game Server

- This server hosts learning games for the - proof assistant Lean (lean4) and - its mathematical library Mathlib. + A repository of learning games for the + proof assistant Lean (Lean 4) and + its mathematical library mathlib

@@ -137,12 +136,12 @@ This is a good first introduction to Lean!"

Development notes

- As this server runs lean on our university machines, it has a capacity of ca. 15-25 - games running simultaneously. We hope to address this limitation in the further future. + As this server runs lean on our university machines, it has a limited capacity of 15-25 + games running simultaneously. We hope to address this limitation in the future.

- Most things about the games and infrastructure is still in development. Feel free to - write Github Issues about + Most aspects of the games and the infrastructure are still in development. Feel free to + file a GitHub Issue about any problems you experience!

@@ -151,7 +150,7 @@ This is a good first introduction to Lean!"

Adding new games

- If you consider writing your own game, you should use + If you are considering writing your own game, you should use the NNG Github Repo as a template.

@@ -169,7 +168,7 @@ This is a good first introduction to Lean!"

Funding

- This Server has been developed as part of the + This server has been developed as part of the project ADAM : Anticipating the Digital Age of Mathematics at Heinrich-Heine-Universität in Düsseldorf.